doc-src/IsarRef/hol.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-08-17 wenzelm 2000-08-17 fixed indexing;
2000-08-17 wenzelm 2000-08-17 cases/induct method: 'opaque' by default; added 'open' option;
2000-08-14 wenzelm 2000-08-14 renamed 'intrs' to 'intros'; updated 'inductive_cases', added 'mk_cases_tac'; 'cases' method: admit multiple insts; added 'arith_split' att;
2000-07-13 wenzelm 2000-07-13 method cases/induct: (opaque) option;
2000-05-26 wenzelm 2000-05-26 tuned case_tac;
2000-05-24 wenzelm 2000-05-24 fixed index;
2000-05-05 wenzelm 2000-05-05 improved syntax of method options (no_asm) etc;
2000-04-13 wenzelm 2000-04-13 recdef: no simps;
2000-04-12 wenzelm 2000-04-12 improved 'induct(_tac)' syntax;
2000-04-04 wenzelm 2000-04-04 case_tac / induct_tac: optional rule;
2000-04-04 wenzelm 2000-04-04 case_tac, induct_tac;
2000-04-01 wenzelm 2000-04-01 recdef: admit names/atts;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-20 wenzelm 2000-03-20 case_tac, induct_tac;
2000-03-17 wenzelm 2000-03-17 arith: "!" arg;
2000-03-16 wenzelm 2000-03-16 tuned;
2000-03-14 wenzelm 2000-03-14 'cases' and 'induct' methods;
1999-10-31 wenzelm 1999-10-31 updated;
1999-10-31 wenzelm 1999-10-31 tuned;
1999-09-07 wenzelm 1999-09-07 induct method: rule option;
1999-09-04 wenzelm 1999-09-04 updated;
1999-08-30 wenzelm 1999-08-30 'arith' method;
1999-08-24 wenzelm 1999-08-24 draft release;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-04 wenzelm 1999-08-04 tuned;
1999-08-03 wenzelm 1999-08-03 tuned; much more material;
1999-07-30 wenzelm 1999-07-30 even more stuff;
1999-07-30 wenzelm 1999-07-30 more;
1999-07-30 wenzelm 1999-07-30 more stuff;
1999-07-19 wenzelm 1999-07-19 skeleton only;