![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | application.tst | 1997-09-25 08:55 | 296 | |
![]() | bound-vars.tst | 1997-09-25 08:55 | 2.7K | |
![]() | cond2if.tst | 1997-09-25 08:55 | 1.0K | |
![]() | eval-expression.tst | 1997-09-25 08:55 | 1.7K | |
![]() | ff-ADT.tst | 1997-09-25 08:55 | 1.4K | |
![]() | free-vars.tst | 1997-09-25 08:55 | 2.4K | |
![]() | if2cond.tst | 1997-09-25 08:55 | 1.1K | |
![]() | leaf-sum.tst | 1997-09-25 08:55 | 938 | |
![]() | let2application.tst | 1997-09-25 08:55 | 1.1K | |
![]() | list-rep.tst | 1997-09-25 08:55 | 1.7K | |
![]() | max-interior.tst | 1997-09-25 08:55 | 1.0K | |
![]() | record-bound-vars.tst | 1997-09-25 08:55 | 1.2K | |
![]() | record-freeq.tst | 1997-09-25 08:55 | 941 | |
![]() | subst.tst | 1997-09-25 08:55 | 621 | |
![]() | vector-rep.tst | 1997-09-25 08:55 | 1.8K | |