src/ZF/Finite.thy
2001-11-15 wenzelm depends on Epsilon!
2001-11-13 wenzelm rearranged inductive package for Isar;
2000-08-01 paulson natify, a coercion to reduce the number of type constraints in arithmetic
1998-12-28 paulson new inductive, datatype and primrec packages, etc.
1996-02-06 clasohm expanded tabs
1995-12-09 clasohm removed quotes from consts and syntax sections
1995-06-22 clasohm removed \...\ inside strings
1994-12-19 lcp removed quotes around "Inductive"
1994-08-25 lcp ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without
1994-08-16 lcp ZF/Finite: added the finite function space, A-||>B
1994-08-12 lcp installation of new inductive/datatype sections
less more (0) tip