![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| examples/ | 2014-08-04 08:24 | - | |
| exercises/ | 2014-08-04 08:24 | - | |
| test/ | 2014-08-04 08:24 | - | |
| util/ | 2014-08-04 08:24 | - | |
| top.lisp.gz | 2000-04-03 11:21 | 131 | |
| arithmetic.lisp.gz | 2001-04-10 22:51 | 207 | |
| stage.lisp.gz | 2000-04-03 11:21 | 215 | |
| arithmetic.lisp.bak.gz | 2000-04-05 15:25 | 221 | |
| Makefile.original.gz | 2000-02-21 15:17 | 230 | |
| done.gz | 1999-08-23 11:14 | 256 | |
| Ivy-books.gz | 2000-02-18 16:14 | 280 | |
| Certify.lisp.gz | 2000-02-18 16:28 | 355 | |
| rename-top.lisp.gz | 2000-04-03 11:21 | 383 | |
| README.original.gz | 2000-04-12 13:34 | 438 | |
| pull-top.lisp.gz | 2000-04-03 11:21 | 484 | |
| README.gz | 2000-04-16 08:11 | 620 | |
| rename-sound.lisp.gz | 2000-04-03 11:21 | 644 | |
| uc-conj.lisp.gz | 2000-04-03 11:21 | 791 | |
| flip.lisp.gz | 2000-04-03 11:21 | 810 | |
| sk-useless.lisp.gz | 2000-04-03 11:21 | 816 | |
| modeler.lisp.gz | 2000-04-03 11:21 | 850 | |
| instance.lisp.gz | 2000-04-03 11:21 | 876 | |
| prover.lisp.gz | 2000-04-03 11:21 | 889 | |
| simple-check.lisp.gz | 2000-04-03 11:21 | 889 | |
| nnf.lisp.gz | 2000-04-03 11:21 | 945 | |
| simplify.lisp.gz | 2000-04-03 11:21 | 1.0K | |
| skolem-top.lisp.gz | 2006-01-26 12:45 | 1.1K | |
| prop-subsume.lisp.gz | 2000-04-03 11:21 | 1.1K | |
| cnf.lisp.gz | 2001-11-28 07:03 | 1.2K | |
| sk-misc-lemmas.lisp.gz | 2000-04-03 11:21 | 1.2K | |
| xeval.lisp.gz | 2003-09-15 13:36 | 1.2K | |
| keval.lisp.gz | 2003-09-15 13:37 | 1.3K | |
| Makefile.gz | 2004-09-20 20:27 | 1.3K | |
| right-assoc.lisp.gz | 2000-04-03 11:21 | 1.4K | |
| Include-graph.fig.gz | 1999-07-28 13:55 | 1.4K | |
| pull-pulls.lisp.gz | 2000-04-03 11:21 | 1.5K | |
| rename-unique.lisp.gz | 2006-01-26 12:45 | 1.5K | |
| alls.lisp.gz | 2003-09-15 13:35 | 1.6K | |
| wfftype.lisp.gz | 2000-04-03 11:21 | 1.6K | |
| rename.lisp.gz | 2000-04-03 11:21 | 1.6K | |
| permutations.lisp.gz | 2006-01-26 12:45 | 1.6K | |
| pull-sound.lisp.gz | 2000-04-03 11:21 | 1.7K | |
| substitution.lisp.gz | 2000-04-03 11:21 | 1.7K | |
| gensym-e.lisp.gz | 2000-04-03 11:21 | 1.7K | |
| sk-step-sound.lisp.gz | 2001-08-21 11:21 | 1.8K | |
| resolve.lisp.gz | 2000-04-03 11:21 | 1.8K | |
| pull.lisp.gz | 2000-04-03 11:21 | 1.9K | |
| sets.lisp.gz | 2005-09-11 19:36 | 2.3K | |
| close.lisp.gz | 2006-01-26 12:45 | 2.3K | |
| sk-step.lisp.gz | 2003-08-21 12:29 | 2.4K | |
| variables.lisp.gz | 2000-04-03 11:21 | 2.4K | |
| sugar.lisp.gz | 2003-10-14 12:38 | 2.6K | |
| paramod.lisp.gz | 2001-06-10 13:13 | 2.8K | |
| instance-closure.lisp.gz | 2003-09-15 13:45 | 3.7K | |
| sk-xbuild.lisp.gz | 2003-10-14 12:22 | 3.7K | |
| simultaneous-d.lisp.gz | 2001-11-28 07:04 | 3.8K | |
| derive.lisp.gz | 2004-09-26 12:27 | 4.6K | |
| base.lisp.gz | 2003-09-15 12:56 | 5.7K | |
| Include-graph.ps.gz | 1999-07-28 13:55 | 7.1K | |