![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | test-random.lisp | 2004-08-29 10:24 | 210 | |
![]() | temp.lisp | 2004-08-29 10:24 | 1.0K | |
![]() | rules-old-leap.ldata | 2004-08-29 10:24 | 2.0K | |
![]() | rules-leap3.ldata | 2004-08-29 10:24 | 2.9K | |
![]() | rules-blocks3.ldata | 2004-08-29 10:24 | 4.3K | |
![]() | rules-blocks2.ldata | 2004-08-29 10:24 | 4.1K | |
![]() | rules-blocks.ldata | 2004-08-29 10:24 | 3.7K | |
![]() | rules-blocks-full.ldata | 2004-08-29 10:24 | 4.0K | |
![]() | report-results.lisp | 2004-08-29 10:24 | 7.6K | |
![]() | lesion-study.lisp | 2004-08-29 10:24 | 6.4K | |
![]() | input | 2004-08-29 10:24 | 22 | |
![]() | height-problems.lisp | 2004-08-29 10:24 | 1.0K | |
![]() | first-random | 2004-08-29 10:24 | 775 | |
![]() | deduce2-forward.lisp | 2004-08-29 10:24 | 6.7K | |
![]() | brad-fix | 2004-08-29 10:24 | 1.3K | |
![]() | utils.lisp | 2004-08-29 10:24 | 9.5K | |
![]() | test-cut.lisp | 2004-08-29 10:24 | 729 | |
![]() | sample.lisp | 2004-08-29 10:24 | 3.1K | |
![]() | rules-leap2.ldata | 2004-08-29 10:24 | 2.9K | |
![]() | rules-leap.ldata | 2004-08-29 10:24 | 3.8K | |
![]() | rules-height.ldata | 2004-08-29 10:24 | 686 | |
![]() | rich-misc.lisp | 2004-08-29 10:24 | 478 | |
![]() | leap-problems.lisp | 2004-08-29 10:24 | 2.1K | |
![]() | latest-for | 2004-08-29 10:24 | 36K | |
![]() | graphics.lisp | 2004-08-29 10:24 | 30 | |
![]() | generalize.lisp | 2004-08-29 10:24 | 12K | |
![]() | files2.lsp | 2004-08-29 10:24 | 2.8K | |
![]() | eggs.lisp | 2004-08-29 10:24 | 9.7K | |
![]() | combiner.lisp | 2004-08-29 10:24 | 14K | |
![]() | vector-stuff.lisp | 2004-08-29 10:24 | 3.2K | |
![]() | update | 2004-08-29 10:24 | 1.3K | |
![]() | simplify.lisp | 2004-08-29 10:24 | 20K | |
![]() | setup-experiment.lisp | 2004-08-29 10:24 | 6.8K | |
![]() | run-tests.lisp | 2004-08-29 10:24 | 3.6K | |
![]() | run-experiments.lisp | 2004-08-29 10:24 | 6.3K | |
![]() | rules-blocks.ldata-orig | 2004-08-29 10:24 | 3.7K | |
![]() | reader.lisp | 2004-08-29 10:24 | 5.5K | |
![]() | misc.lisp | 2004-08-29 10:24 | 19K | |
![]() | measure | 2004-08-29 10:24 | 1.5K | |
![]() | database.lisp | 2004-08-29 10:24 | 1.8K | |
![]() | bagger2.lisp | 2004-08-29 10:24 | 23K | |
![]() | README | 2004-08-29 10:24 | 208 | |
![]() | loader2.lsp | 2004-08-29 10:24 | 1.3K | |
![]() | loader.lisp | 2004-08-29 10:24 | 952 | |
![]() | for.lisp | 2004-08-29 10:24 | 25K | |
![]() | files.lisp | 2004-08-29 10:24 | 2.8K | |
![]() | explainer.lisp | 2004-08-29 10:24 | 5.6K | |
![]() | experiment.lisp | 2004-08-29 10:24 | 24K | |
![]() | demo-blocks.lisp | 2004-08-29 10:24 | 24K | |
![]() | deduce2.lisp | 2004-08-29 10:24 | 5.8K | |
![]() | deduce.lisp | 2004-08-29 10:24 | 36K | |