src/FOLP/ifolp.thy
1994-03-17 lcp 1994-03-17 new type declaration syntax instead of numbers
1993-09-16 clasohm 1993-09-16 Initial revision