From 5163a157c4f9b552db220efaa753f210518817fe Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 9 Sep 2021 22:53:04 +0900 Subject: Add `(in-package "ACL2")` lines. --- consecutive-fibonacci-numbers-are-coprime.lisp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'consecutive-fibonacci-numbers-are-coprime.lisp') diff --git a/consecutive-fibonacci-numbers-are-coprime.lisp b/consecutive-fibonacci-numbers-are-coprime.lisp index af0a534..0146dc1 100644 --- a/consecutive-fibonacci-numbers-are-coprime.lisp +++ b/consecutive-fibonacci-numbers-are-coprime.lisp @@ -1,4 +1,5 @@ -;; consecutive-fibonacci-numbers-are-coprime.lisp: 隣り合うフィボナッチ数は互いに素である +;;; consecutive-fibonacci-numbers-are-coprime.lisp: 隣り合うフィボナッチ数は互いに素である +(in-package "ACL2") ;; 数字を足したり引いたりする関数に関する証明をするときに便利な Book (include-book "arithmetic/top-with-meta" :dir :system) -- cgit v1.2.3