![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[SND]](/icons/sound2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| LPrologMakefile | 2000-08-16 16:35 | 1.8K | |
| Makefile | 2000-09-08 12:18 | 466 | |
| TODO | 2000-09-08 12:32 | 128 | |
| Testnotes | 2002-05-07 09:37 | 4.2K | |
| VERSION | 2000-09-18 20:39 | 14 | |
| cse.mod | 2000-09-08 12:18 | 1.4K | |
| cse.sig | 2000-09-09 11:44 | 354 | |
| effect_monad.mod | 2000-09-08 21:02 | 1.1K | |
| effect_monad.sig | 2000-09-29 12:06 | 1.8K | |
| let_ext.mod | 2001-08-29 14:49 | 2.0K | |
| let_ext.sig | 2000-08-27 07:32 | 1.2K | |
| lprolog.vim | 2000-08-08 15:34 | 3.7K | |
| main | 2001-08-29 16:37 | 43 | |
| main.mod | 2001-08-29 16:37 | 1.8K | |
| main.sig | 2000-08-27 17:15 | 155 | |
| make_terzo.ml | 2000-06-25 17:43 | 2.0K | |
| oper_sem.mod | 2000-08-27 07:32 | 667 | |
| oper_sem.sig | 2000-07-25 08:11 | 202 | |
| part_eval.mod | 2000-09-08 21:02 | 4.7K | |
| part_eval.sig | 2000-09-05 19:59 | 914 | |
| poly_oper_sem.mod | 2000-08-27 17:15 | 232 | |
| poly_oper_sem.sig | 2000-08-27 17:15 | 62 | |
| poly_terms.mod | 2000-08-27 16:06 | 1.5K | |
| poly_terms.sig | 2000-08-26 11:55 | 873 | |
| poly_types.mod | 2000-07-24 15:53 | 112 | |
| poly_types.sig | 2000-08-08 12:58 | 567 | |
| poly_typing.mod | 2000-08-27 09:31 | 795 | |
| poly_typing.sig | 2000-08-15 08:00 | 465 | |
| termination.mod | 2000-08-27 09:34 | 233 | |
| termination.sig | 2000-08-08 12:58 | 271 | |
| terms.mod | 2000-09-08 12:18 | 1.1K | |
| terms.sig | 2000-08-27 07:32 | 1.4K | |
| terzo_stuff.mod | 2000-07-19 07:25 | 209 | |
| tests/ | 2002-05-07 08:00 | - | |
| testscript | 2001-09-27 15:37 | 342 | |
| tp_let_ext.mod | 2001-08-29 14:50 | 3.1K | |
| tp_let_ext.sig | 2000-08-27 17:20 | 1.4K | |
| tp_part_eval.mod | 2000-09-08 21:02 | 7.5K | |
| tp_part_eval.sig | 2000-09-05 19:59 | 1.1K | |
| tp_terms.mod | 2000-08-27 16:06 | 4.4K | |
| tp_terms.sig | 2000-08-27 07:32 | 2.2K | |
| trafo.mod | 2000-08-26 12:39 | 242 | |
| trafo.sig | 2000-08-26 12:39 | 143 | |
| types.mod | 2000-07-24 16:08 | 85 | |
| types.sig | 2000-08-15 08:00 | 612 | |
| typing.mod | 2000-08-27 09:31 | 916 | |
| typing.sig | 2000-08-08 12:58 | 215 | |
| utils.mod | 2000-08-26 08:34 | 2.7K | |
| utils.sig | 2000-08-20 09:35 | 3.4K | |