doc-src/IsarRef/refcard.tex
2006-07-04 wenzelm 2006-07-04 added 'definition', 'unfolding', 'done'; tuned;
2003-08-29 ballarin 2003-08-29 Method rule_tac understands Isar contexts: documentation.
2002-08-07 wenzelm 2002-08-07 section on "Rule declarations and methods";
2002-03-08 wenzelm 2002-03-08 tuned;
2002-03-07 wenzelm 2002-03-07 *** empty log message ***
2002-03-05 wenzelm 2002-03-05 more stuff;
2002-03-04 wenzelm 2002-03-04 'using' primitive;
2000-10-15 wenzelm 2000-10-15 tuned;
2000-09-12 wenzelm 2000-09-12 renamed atts: rulify to rule_format, elimify to elim_format;
2000-09-07 wenzelm 2000-09-07 improved att names;
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-08-17 wenzelm 2000-08-17 updated;
2000-08-14 wenzelm 2000-08-14 updated; tuned;
2000-07-23 wenzelm 2000-07-23 classical atts now intro! / intro / intro?;
2000-07-01 wenzelm 2000-07-01 removed "help";
2000-04-12 wenzelm 2000-04-12 added 'insert' method;
2000-03-30 wenzelm 2000-03-30 added 'moreover' and 'ultimately';
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-20 wenzelm 2000-03-20 tactic emulation;
2000-03-18 wenzelm 2000-03-18 obtain; help; intro_classes;
2000-03-17 wenzelm 2000-03-17 tuned; some more stuff;
2000-03-16 wenzelm 2000-03-16 Splitter support;
2000-03-14 wenzelm 2000-03-14 added 'case' command; added 'print_facts', 'print_binds', 'print_cases' commands; added 'cases' method; tuned;
2000-02-07 wenzelm 2000-02-07 intro/elim/dest attributes: changed ! / !! flags to ? / ??;
2000-02-05 wenzelm 2000-02-05 '.' == by this;
1999-10-31 wenzelm 1999-10-31 tuned;
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-29 wenzelm 1999-10-29 tuned;
1999-10-29 wenzelm 1999-10-29 improved;
1999-10-21 wenzelm 1999-10-21 *** empty log message ***