![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | tandl42.ver1.out | 1990-03-24 10:47 | 22K | |
![]() | tandl42.ver1.in | 1990-03-24 10:47 | 2.6K | |
![]() | tandl42.ver1.clauses | 1990-03-24 10:47 | 2.5K | |
![]() | tandl42.desc | 1990-03-24 10:47 | 882 | |
![]() | tandl39.ver1.out | 1990-03-24 10:47 | 12K | |
![]() | tandl39.ver1.in | 1990-03-24 10:47 | 2.6K | |
![]() | tandl39.ver1.clauses | 1990-03-24 10:47 | 2.5K | |
![]() | tandl39.desc | 1990-03-24 10:47 | 850 | |
![]() | tandl35.ver1.out | 1990-03-24 10:47 | 20K | |
![]() | tandl35.ver1.in | 1990-03-24 10:47 | 2.5K | |
![]() | tandl35.ver1.clauses | 1990-03-24 10:47 | 2.4K | |
![]() | tandl35.desc | 1990-03-24 10:47 | 854 | |
![]() | tandl31.ver1.out | 1990-03-24 10:47 | 6.8K | |
![]() | tandl31.ver1.in | 1990-03-24 10:47 | 2.8K | |
![]() | tandl31.ver1.clauses | 1990-03-24 10:47 | 2.7K | |
![]() | tandl31.desc | 1990-03-24 10:47 | 832 | |
![]() | tandl27.ver1.out | 1990-03-24 10:47 | 8.3K | |
![]() | tandl27.ver1.in | 1990-03-24 10:47 | 1.7K | |
![]() | tandl27.ver1.clauses | 1990-03-24 10:47 | 1.6K | |
![]() | tandl27.desc | 1990-03-24 10:47 | 1.0K | |
![]() | tandl.ver1.out | 1990-03-24 10:47 | 4.2K | |
![]() | tandl.ver1.in | 1990-03-24 10:47 | 1.3K | |
![]() | tandl.ver1.clauses | 1990-03-24 10:47 | 1.3K | |
![]() | tandl.desc | 1990-03-24 10:47 | 870 | |
![]() | oona.out | 1990-03-24 10:47 | 5.8K | |
![]() | oona.in | 1990-03-24 10:47 | 1.2K | |
![]() | oona.desc | 1990-03-24 10:47 | 933 | |
![]() | oona.clauses | 1990-03-24 10:47 | 1.1K | |
![]() | mars_venus2.out | 1990-03-24 10:47 | 16K | |
![]() | mars_venus2.in | 1990-03-24 10:47 | 1.8K | |
![]() | mars_venus2.desc | 1990-03-24 10:47 | 687 | |
![]() | mars_venus2.clauses | 1990-03-24 10:47 | 1.6K | |
![]() | mars_venus.out | 1990-03-24 10:47 | 9.6K | |
![]() | mars_venus.in | 1990-03-24 10:47 | 1.7K | |
![]() | mars_venus.desc | 1990-03-24 10:47 | 723 | |
![]() | mars_venus.clauses | 1990-03-24 10:47 | 1.5K | |
![]() | knightknave.out | 1990-03-24 10:47 | 7.4K | |
![]() | knightknave.in | 1990-03-24 10:47 | 1.4K | |
![]() | knightknave.desc | 1990-03-24 10:47 | 422 | |
![]() | knightknave.clauses | 1990-03-24 10:47 | 1.2K | |
![]() | README | 1990-03-24 10:47 | 2.4K | |