![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| z2 | 1995-11-27 00:02 | 1.1K | |
| x4.sch | 1995-11-27 00:02 | 7.1K | |
| x3.sch | 1995-11-27 00:02 | 16K | |
| x2.sch | 1995-11-27 00:02 | 3.4K | |
| x1.script | 1995-11-27 00:02 | 6.7K | |
| util.sch | 1995-11-27 02:29 | 5.0K | |
| update.sch | 1995-11-27 00:02 | 6.0K | |
| script.1*shell* | 1995-11-27 00:02 | 1.7K | |
| satisfy_test.sch | 1995-11-27 00:02 | 8.3K | |
| sat.script | 1995-11-27 00:02 | 4.6K | |
| sameer.script | 1995-11-27 00:02 | 79K | |
| sam.script | 1995-11-27 00:02 | 7.1K | |
| rule.sch | 1995-11-27 00:02 | 5.3K | |
| rule-kinship.sch | 1995-11-27 00:02 | 3.7K | |
| rl2.sch | 1995-11-27 00:02 | 0 | |
| rl.sch | 1995-11-27 00:02 | 2.4K | |
| rev.sch | 1995-11-27 00:02 | 961 | |
| nonlinear.script | 1995-11-27 00:02 | 47K | |
| nonlinear.sch | 1995-11-27 00:02 | 4.7K | |
| nl.sch | 1995-11-27 00:02 | 4.3K | |
| new-fact.sch | 1995-11-27 00:02 | 64 | |
| monitor.sch | 1995-11-27 00:02 | 6.8K | |
| match.sch | 1995-11-27 00:02 | 3.5K | |
| load.sch | 1995-11-27 00:02 | 230 | |
| linear.script | 1995-11-27 00:02 | 60K | |
| linear.sch | 1995-11-27 00:02 | 1.3K | |
| kin1.sch | 1995-11-27 00:02 | 2.9K | |
| kin.sch | 1995-11-27 00:02 | 3.9K | |
| kin.bil | 1995-11-27 00:02 | 2.6K | |
| kb.sch | 1995-11-27 00:02 | 7.6K | |
| k2.sch | 1995-11-27 00:02 | 1.2K | |
| jwang.test | 1995-11-27 00:02 | 1.9K | |
| final.script | 1995-11-27 00:02 | 6.1K | |
| fam_data.sch | 1995-11-27 00:02 | 1.3K | |
| f | 1995-11-27 00:02 | 596 | |
| envsubst.scm | 1995-11-27 00:02 | 6.2K | |
| env.sch | 1995-11-27 00:02 | 6.9K | |
| discussion | 1995-11-27 00:02 | 3.4K | |
| db.sch | 1995-11-27 00:02 | 7.0K | |