src/FOLP/IFOLP.thy
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1995-06-02 lcp 1995-06-02 Corrected comments in headers
1994-10-21 lcp 1994-10-21 FOLP/IFOLP.thy: tightening precedences to eliminate syntactic ambiguities. Now proof objects have high precedences. Eliminates ambiguity in a=b:P being parsed as (a=b):P.
1994-03-17 lcp 1994-03-17 new type declaration syntax instead of numbers
1993-09-16 clasohm 1993-09-16 Initial revision