1995-12-09 ago removed quotes from consts and syntax sections
1994-12-23 ago Re-indented declarations; declared the number 2
1994-12-16 ago put quotation marks around constant "and" because it is a
1994-11-29 ago replaced "rules" by "defs"
1993-11-16 ago made pseudo theories for all ML files;
1993-09-30 ago ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext
1993-09-16 ago Initial revision