doc-src/IsarRef/pure.tex
2000-05-21 wenzelm 2000-05-21 replaced {{ }} by { };
2000-05-18 wenzelm 2000-05-18 'pr' now prints actual proof states only;
2000-05-18 wenzelm 2000-05-18 'apply' consumes facts;
2000-04-17 wenzelm 2000-04-17 'global' / 'local': comment; added 'hide';
2000-04-12 wenzelm 2000-04-12 tuned;
2000-04-12 wenzelm 2000-04-12 'insts' syntax; 'insert' method;
2000-04-10 wenzelm 2000-04-10 improved document preparation;
2000-04-07 wenzelm 2000-04-07 added 'ML_command'; 'apply' etc.: comments;
2000-04-04 wenzelm 2000-04-04 'let': replaced 'as' by 'and';
2000-03-31 wenzelm 2000-03-31 fixed goal syntax;
2000-03-30 wenzelm 2000-03-30 support Hindley-Milner polymorphisms in results and bindings;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-20 wenzelm 2000-03-20 res_inst_tac etc.; subgoal_tac;
2000-03-18 wenzelm 2000-03-18 pure methods / atts moved here; tactic emulation moved here; oops moved here; history commands; tuned;
2000-03-17 wenzelm 2000-03-17 fixed theory, context typing; defer, prefer; tuned;
2000-03-16 wenzelm 2000-03-16 moved "cases" to generic.tex; improved diagnostic commands; history commands; tuned;
2000-03-14 wenzelm 2000-03-14 tuned 'case';
2000-03-08 wenzelm 2000-03-08 tuned ML types; improved translation functions; 'case' command; 'oops' command; "Emulating tactic scripts";
2000-02-16 wenzelm 2000-02-16 Syntax translation functions;
2000-02-07 wenzelm 2000-02-07 (then_)apply: prove -> prove;
2000-02-05 wenzelm 2000-02-05 '.' == by this;
2000-01-05 wenzelm 2000-01-05 proof markup: any mode;
1999-10-31 wenzelm 1999-10-31 tuned;
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 updated;
1999-09-25 wenzelm 1999-09-25 defs: axmdecl;
1999-09-07 wenzelm 1999-09-07 tuned (then_)apply;
1999-09-04 wenzelm 1999-09-04 updated;
1999-09-03 wenzelm 1999-09-03 updated;
1999-09-01 wenzelm 1999-09-01 fix: vars;
1999-08-30 wenzelm 1999-08-30 tuned;
1999-08-30 wenzelm 1999-08-30 '_' theorem; back: only latest command;
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;
1999-07-30 wenzelm 1999-07-30 more stuff;
1999-07-19 wenzelm 1999-07-19 skeleton only;