From 3e1bdf10c85b5a4aca62349878b1bff786e30938 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 22 Aug 2021 01:26:52 +0900
Subject: Add functions and theorems about cards.

---
 top.lisp | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 top.lisp

(limited to 'top.lisp')

diff --git a/top.lisp b/top.lisp
new file mode 100644
index 0000000..18552e2
--- /dev/null
+++ b/top.lisp
@@ -0,0 +1,3 @@
+(in-package "ACL2")
+
+(include-book "standard-52-card-deck")
-- 
cgit v1.2.3