doc-src/IsarRef/generic.tex
2000-07-31 wenzelm 2000-07-31 updated 'obtain';
2000-07-25 wenzelm 2000-07-25 removed slow, slow_best methods; added clarify, clarsimp methods;
2000-07-23 wenzelm 2000-07-23 classical atts now intro! / intro / intro?;
2000-07-01 wenzelm 2000-07-01 added no_vars att;
2000-05-31 wenzelm 2000-05-31 removed 'transfer' att;
2000-05-21 wenzelm 2000-05-21 added notes;
2000-05-21 wenzelm 2000-05-21 cite isabelle-axclass;
2000-05-05 wenzelm 2000-05-05 improved syntax of method options (no_asm) etc;
2000-04-13 wenzelm 2000-04-13 tuned;
2000-04-13 wenzelm 2000-04-13 Simplifier options;
2000-04-04 wenzelm 2000-04-04 print_simpset / print_claset command;
2000-03-31 wenzelm 2000-03-31 added 'cong' att; fixed 'iff' syntax;
2000-03-30 wenzelm 2000-03-30 added 'moreover' and 'ultimately';
2000-03-27 wenzelm 2000-03-27 rail token vs. terminal;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-18 wenzelm 2000-03-18 obtain; moved pure methods / atts to pure.tex; tuned;
2000-03-17 wenzelm 2000-03-17 untag: only name arg; fixed trans att syntax; tuned case command;
2000-03-16 wenzelm 2000-03-16 Named local contexts (cases); Splitter support; 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 updated;
1999-10-31 wenzelm 1999-10-31 tuned;
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-29 wenzelm 1999-10-29 improved;
1999-10-21 wenzelm 1999-10-21 tuned;
1999-10-21 wenzelm 1999-10-21 *** empty log message ***
1999-09-08 wenzelm 1999-09-08 (un)fold: ignore facts;
1999-09-04 wenzelm 1999-09-04 updated;
1999-09-03 wenzelm 1999-09-03 updated;
1999-08-30 wenzelm 1999-08-30 OF: "_" as argument;
1999-08-30 wenzelm 1999-08-30 'iff' attribute;
1999-08-25 wenzelm 1999-08-25 expand_classes renamed to intro_classes;
1999-08-24 wenzelm 1999-08-24 draft release;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-22 wenzelm 1999-08-22 checkpoint;
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;