diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-21 08:58:15 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-21 08:58:15 +0900 |
| commit | 75c3a638f6ebf43adf89c8ff54372c89df084398 (patch) | |
| tree | 801a1ab329afdd3cbc9d4f4826d9ed5ca1b68b0c | |
| parent | 1435ead3f090a23917db180748f5501d4d350f27 (diff) | |
wip33
| -rw-r--r-- | examples/the-little-prover.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/the-little-prover.scm b/examples/the-little-prover.scm index 0a12eaa..6a919a8 100644 --- a/examples/the-little-prover.scm +++ b/examples/the-little-prover.scm @@ -1,6 +1,5 @@ (use-modules (vikalpa) - (vikalpa the-little-prover) - (ice-9 pretty-print)) + (vikalpa the-little-prover)) (define-system the-little-prover-0 (the-little-prover) (define-theorem simple-list-induction (x) |