doc-src/IsarRef/Thy/Generic.thy
Fri, 06 Jul 2012 16:20:54 +0200 wenzelm discontinued obsolete attribute "COMP";
Wed, 23 May 2012 16:22:27 +0200 wenzelm discontinued obsolete method fastsimp / tactic fast_simp_tac;
Mon, 16 Apr 2012 21:37:08 +0200 wenzelm document attribute "abs_def";
Mon, 27 Feb 2012 15:39:47 +0100 wenzelm updated cut_tac, without loose references to implementation manual;
Wed, 15 Feb 2012 21:29:23 +0100 wenzelm clarified outer syntax "constdecl", which is only local to some rail diagrams;
Sun, 29 Jan 2012 22:00:10 +0100 wenzelm updated thin_tac;
Sun, 29 Jan 2012 21:04:39 +0100 wenzelm updated rotate_tac;
less more (0) -30 -10 -7 tip