![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| restaurant-real.lisp.gz | 1995-01-04 18:16 | 1.6K | |
| majority-boolean.lisp.gz | 1995-01-04 18:16 | 885 | |
| restaurant-multivalued.lisp.gz | 1995-01-04 18:16 | 736 | |
| restaurant-boolean.lisp.gz | 1995-01-17 00:52 | 679 | |
| restaurant.lisp.gz | 1994-08-15 02:12 | 575 | |
| 4x3-passive-mdp.lisp.gz | 1995-01-04 18:23 | 499 | |
| ex-19-4-boolean.lisp.gz | 1995-01-08 23:41 | 312 | |
| xor-boolean.lisp.gz | 1995-01-08 23:45 | 227 | |
| and-boolean.lisp.gz | 1995-01-08 23:44 | 223 | |
| xor.lisp.gz | 1994-06-15 04:04 | 129 | |
| and.lisp.gz | 1994-06-15 04:35 | 124 | |