From 5163a157c4f9b552db220efaa753f210518817fe Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 9 Sep 2021 22:53:04 +0900
Subject: Add `(in-package "ACL2")` lines.

---
 divisor-list.lisp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'divisor-list.lisp')

diff --git a/divisor-list.lisp b/divisor-list.lisp
index 21cbb10..20d2793 100644
--- a/divisor-list.lisp
+++ b/divisor-list.lisp
@@ -1,4 +1,5 @@
 ;;; divisor-list.lisp: 約数に関する証明
+(in-package "ACL2")
 
 ;; e が x の約数であるかどうかを調べる述語
 (defmacro divisorp (e x)
-- 
cgit v1.2.3