![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 1check31.wff | 1998-01-08 14:55 | 20K | |
| 1check61.wff | 1998-01-08 14:56 | 90K | |
| 1xor40.wff | 1998-01-08 14:02 | 702 | |
| 1xor1000.wff | 1998-01-08 14:03 | 21K | |
| 1xor10000.wff | 1998-01-08 14:03 | 250K | |
| 10chain100.wff | 1998-01-08 15:06 | 21K | |
| 10chain1000.wff | 1998-01-08 15:11 | 250K | |
| 10samc1000.wff | 1998-01-09 13:42 | 250K | |
| 10same1000.wff | 1998-01-08 15:23 | 250K | |
| 40chain40.wff | 1998-01-08 15:07 | 36K | |
| 61chain61.wff | 1998-01-08 15:07 | 90K | |
| 100.f | 1997-09-15 11:25 | 4.7K | |
| 100.wff | 1997-09-15 11:21 | 5.2K | |
| 100b.f | 1997-09-15 11:28 | 4.8K | |
| 100b.wff | 1997-09-15 11:22 | 5.2K | |
| 100chain10.wff | 1998-01-08 15:05 | 21K | |
| 100chain100.wff | 1998-01-08 15:09 | 250K | |
| 100samc100.wff | 1998-01-09 13:46 | 250K | |
| 200samb50.wff | 1998-01-09 14:10 | 246K | |
| 1000.f | 1997-09-15 11:29 | 60K | |
| 1000.wff | 1997-09-15 11:21 | 64K | |
| 1000b.f | 1997-09-15 11:30 | 60K | |
| 1000b.wff | 1997-09-15 11:30 | 64K | |
| 1000chain10.wff | 1998-01-08 15:12 | 250K | |
| 1000samb10.wff | 1998-01-08 18:13 | 232K | |
| 1000samc10.wff | 1998-01-09 13:26 | 257K | |
| 1000same10.wff | 1998-01-08 15:47 | 250K | |
| 1200.f | 1997-09-23 10:26 | 74K | |
| 1200.wff | 1997-09-23 10:26 | 80K | |
| 1200b.wff | 1997-09-23 11:02 | 79K | |
| 1200c.wff | 1997-09-23 12:06 | 80K | |
| 1200d.wff | 1997-09-23 12:06 | 79K | |
| 1200t.wff | 1997-09-23 11:55 | 80K | |
| 12000t.wff | 1997-09-23 11:56 | 945K | |
| check11.wff | 1998-01-08 14:51 | 4.0K | |
| check31.wff | 1998-01-08 14:52 | 39K | |
| check61.wff | 1998-01-08 14:51 | 178K | |
| cnf2f | 1997-09-15 11:28 | 4.6K | |
| test.wff | 1997-09-17 15:42 | 72 | |
| xor40.wff | 1998-01-08 13:57 | 754 | |