diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-22 01:26:52 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-22 01:26:52 +0900 |
| commit | 3e1bdf10c85b5a4aca62349878b1bff786e30938 (patch) | |
| tree | 708edc1165e4ac132f9c56ef97372c73529e0bb6 /top.lisp | |
| parent | 0f2e6081ef8b8a76668da0cbb402c76deb2494a9 (diff) | |
Add functions and theorems about cards.
Diffstat (limited to 'top.lisp')
| -rw-r--r-- | top.lisp | 3 |
1 files changed, 3 insertions, 0 deletions
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") |