doc-src/IsarRef/hol.tex
2000-04-01 ago recdef: admit names/atts;
2000-03-21 ago tuned;
2000-03-20 ago case_tac, induct_tac;
2000-03-17 ago arith: "!" arg;
2000-03-16 ago tuned;
2000-03-14 ago 'cases' and 'induct' methods;
1999-10-31 ago updated;
1999-10-31 ago tuned;
1999-09-07 ago induct method: rule option;
1999-09-04 ago updated;
1999-08-30 ago 'arith' method;
1999-08-24 ago draft release;
1999-08-23 ago tuned;
1999-08-04 ago tuned;
1999-08-03 ago tuned;
1999-07-30 ago even more stuff;
1999-07-30 ago more;
1999-07-30 ago more stuff;
1999-07-19 ago skeleton only;