src/LCF/LCF.thy
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-05 clasohm 1996-02-05 expanded tabs
1994-10-21 lcp 1994-10-21 LCF/LCF.thy: the constant VOID had mixfix syntax "()" !! Added quotes.
1994-03-17 lcp 1994-03-17 new type declaration syntax instead of numbers
1993-09-16 clasohm 1993-09-16 Initial revision