doc-src/IsarImplementation/Thy/Logic.thy
Wed, 25 Jan 2012 15:39:08 +0100 wenzelm updated RSN, RL, RLN, MRS;
Wed, 25 Jan 2012 13:31:56 +0100 wenzelm tuned;
Wed, 25 Jan 2012 13:24:57 +0100 wenzelm more on Logic.all/mk_implies etc.;
Mon, 06 Jun 2011 19:08:46 +0200 wenzelm moved incr_boundvars;
Mon, 06 Jun 2011 18:05:38 +0200 wenzelm modernized and re-unified Thm.transfer;
Tue, 03 May 2011 21:44:05 +0200 wenzelm use existing \<hyphen>;
Sun, 01 May 2011 17:42:21 +0200 wenzelm simplified keyword markup (without formal checking);
Sun, 01 May 2011 00:01:59 +0200 wenzelm use @{rail} antiquotation (with some nested markup);
less more (0) -30 -10 -8 tip