src/LK/LK.thy
1996-07-16 paulson 1996-07-16 Tidied up; added "syntax" decl
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-10-25 paulson 1995-10-25 Unused type sequ deleted
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1994-03-17 lcp 1994-03-17 new type declaration syntax instead of numbers
1993-09-16 clasohm 1993-09-16 Initial revision