doc-src/IsarRef/Thy/Generic.thy
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;
less more (0) -30 -10 -3 tip