![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| z2 | 1995-11-03 23:39 | 1.1K | |
| update.sch | 1995-11-08 18:01 | 6.0K | |
| script.1*shell* | 1995-11-03 23:37 | 1.7K | |
| satisfy_test.sch | 1995-11-08 21:20 | 8.3K | |
| sat.script | 1995-11-08 15:55 | 4.6K | |
| sameer.script | 1995-11-13 21:40 | 79K | |
| sam.script | 1995-11-07 22:51 | 7.1K | |
| rule.sch | 1995-11-08 21:20 | 5.3K | |
| rule-kinship.sch | 1995-11-05 21:43 | 3.7K | |
| rl2.sch | 1995-11-08 21:19 | 0 | |
| rl.sch | 1995-11-08 21:19 | 2.4K | |
| old/ | 1995-11-06 14:56 | - | |
| nonlinear.script | 1995-11-14 00:00 | 47K | |
| nonlinear.sch | 1995-11-08 21:16 | 4.7K | |
| nl.sch | 1995-11-08 21:18 | 4.3K | |
| new-fact.sch | 1995-11-06 11:37 | 64 | |
| monitor.sch | 1995-11-08 17:42 | 6.7K | |
| match.sch | 1995-11-08 21:18 | 3.5K | |
| load.sch | 1995-11-08 21:18 | 230 | |
| linear.script | 1995-11-08 21:11 | 60K | |
| linear.sch | 1995-11-08 21:18 | 1.3K | |
| kin1.sch | 1995-11-06 11:10 | 2.9K | |
| kin.sch | 1995-11-08 18:04 | 3.9K | |
| kin.bil | 1995-11-06 13:37 | 2.6K | |
| k2.sch | 1995-11-08 00:12 | 1.2K | |
| jwang.test | 1995-11-06 15:53 | 1.9K | |
| final.script | 1995-11-14 00:00 | 6.1K | |
| fam_data.sch | 1995-11-08 21:17 | 889 | |
| f | 1995-11-08 00:49 | 596 | |
| envsubst.scm | 1995-11-02 12:55 | 6.2K | |
| env.sch | 1995-11-08 21:17 | 6.9K | |
| doc/ | 1995-11-08 21:33 | - | |
| discussion | 1995-11-07 23:18 | 3.4K | |
| back1/ | 1995-11-07 23:44 | - | |
| back/ | 1995-11-07 23:44 | - | |