From 75c3a638f6ebf43adf89c8ff54372c89df084398 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sat, 21 Nov 2020 08:58:15 +0900 Subject: wip33 --- examples/the-little-prover.scm | 3 +-- 1 file changed, 1 insertion(+), 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) -- cgit v1.2.3