src/ZF/Finite.thy
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1994-12-19 ago removed quotes around "Inductive"
1994-08-25 ago ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without
1994-08-16 ago ZF/Finite: added the finite function space, A-||>B
1994-08-12 ago installation of new inductive/datatype sections