src/ZF/Univ.thy
1999-01-12 ago eliminated global/local names;
1998-12-28 ago new inductive, datatype and primrec packages, etc.
1997-10-20 ago local;
1997-10-17 ago global;
1997-01-03 ago Implicit simpsets and clasets for FOL and ZF
1996-02-06 ago expanded tabs
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1994-12-16 ago now also depends upon Finite.thy
1994-11-29 ago replaced "rules" by "defs"
1994-08-12 ago installation of new inductive/datatype sections
1994-07-27 ago Addition of infinite branching datatypes
1994-06-21 ago Addition of cardinals and order types, various tidying
1993-11-16 ago made pseudo theories for all ML files;
1993-10-08 ago fixed comment;
1993-10-05 ago Retry of the previous commit (network outage)
1993-09-16 ago Initial revision