src/HOL/Proofs/Extraction/Util.thy
Sat, 08 Jul 2017 19:34:46 +0200 haftmann dropped superfluous theory imports
Fri, 01 Jul 2016 16:52:35 +0200 wenzelm misc tuning and modernization;
Wed, 30 Dec 2015 18:25:39 +0100 wenzelm isabelle update_cartouches -c -t;
Mon, 16 Mar 2015 15:30:00 +0000 paulson The factorial function, "fact", now has type "nat => 'a"
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 18 Sep 2014 16:47:40 +0200 blanchet moved 'old_datatype' out of 'Main' (but put it in 'HOL-Proofs' because of the inductive realizer)
Mon, 06 Sep 2010 14:18:16 +0200 wenzelm more explicit HOL-Proofs sessions, including former ex/Hilbert_Classical.thy which works in parallel mode without the antiquotation option "margin" (which is still critical);
less more (0) tip