src/ZF/ex/TF.thy
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1994-11-29 ago replaced "rules" by "defs"
1994-09-06 ago removal of needless quotes
1994-08-12 ago installation of new inductive/datatype sections