src/HOL/Decision_Procs/langford_data.ML
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Sun, 18 Oct 2015 21:30:01 +0200 wenzelm tuned signature;
Thu, 27 Feb 2014 21:27:58 +0100 wenzelm tuned whitespace;
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Fri, 17 Dec 2010 14:09:37 +0100 wenzelm clarified exports of structure Simplifier;
Tue, 25 May 2010 22:21:31 +0200 wenzelm moved ML files where they are actually used;
less more (0) tip