doc-src/Inductive/ind-defs.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1999-10-11 wenzelm 1999-10-11 a4paper;
1999-05-28 wenzelm 1999-05-28 tuned manual.bib;
1999-05-12 wenzelm 1999-05-12 pdf setup;
1999-05-11 paulson 1999-05-11 changes for new manual.bib
1999-01-19 paulson 1999-01-19 removal of the (thm list) argument of mk_cases
1999-01-13 paulson 1999-01-13 deleted the appendices because documentation exists in the HOL and ZF manuals
1997-11-21 paulson 1997-11-21 Deleted some useless comments
1997-11-20 paulson 1997-11-20 No more makeatletter/other
1997-05-12 wenzelm 1997-05-12 moved here from ..