![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| unify.scm | 2002-12-10 16:46 | 5.7K | |
| test1.lgc | 2002-02-21 09:36 | 381 | |
| prover.scm | 2002-12-11 14:23 | 27K | |
| prover.html | 2002-02-21 09:36 | 3.6K | |
| load-prover-scm.scm | 2002-12-11 14:27 | 459 | |
| load-prover-mit-scheme.scm | 2002-12-11 08:28 | 147 | |
| initdr.scm | 2002-02-21 09:36 | 3.8K | |
| cnf.scm | 2002-12-10 16:46 | 7.6K | |
| check.scm | 2002-02-21 09:36 | 13K | |
| blocks.lgc | 2002-02-21 09:36 | 1.4K | |
| blocks-test2.lgc | 2002-03-01 09:45 | 1.1K | |
| blocks-test.lgc | 2002-03-01 18:34 | 2.4K | |
| blocks-results-final.txt | 2002-02-21 09:36 | 440K | |
| blocks-reduced.lgc | 2002-02-21 09:36 | 426 | |
| blocks-lpk.txt | 2002-10-13 05:58 | 1.5K | |
| blocks-answer.lgc | 2002-03-01 18:11 | 2.2K | |
| 02-version/ | 2003-01-23 12:42 | - | |