| 2001-04-19 | paulson | renaming of theory LOmega to lomega2 in order to prevent a possible | file | diff | annotate |
| 1998-01-20 | wenzelm | reorganized into individual theories; | file | diff | annotate |
| 1997-10-06 | wenzelm | "->" made syntax; | file | diff | annotate |
| 1997-10-06 | wenzelm | syntactic constants; | file | diff | annotate |
| 1995-06-21 | clasohm | removed \...\ inside strings | file | diff | annotate |
| 1994-05-03 | lcp | removal of obsolete type-declaration syntax | file | diff | annotate |
| 1993-10-04 | wenzelm | replaced id by idt; | file | diff | annotate |
| 1993-09-16 | clasohm | Initial revision | file | diff | annotate |