src/HOL/Tools/Qelim/qelim.ML
Sat, 15 May 2010 21:50:05 +0200 wenzelm less pervasive names from structure Thm;
Sun, 28 Feb 2010 23:51:31 +0100 wenzelm more antiquotations;
Fri, 18 Sep 2009 09:07:50 +0200 haftmann tuned const_name antiquotations
Sun, 22 Mar 2009 20:46:12 +0100 haftmann more antiquotations
Sun, 22 Jul 2007 17:53:50 +0200 chaieb tuned
Thu, 19 Jul 2007 21:47:42 +0200 haftmann tuned
Thu, 05 Jul 2007 20:01:30 +0200 wenzelm renamed Conv.is_refl to Thm.is_reflexive;
Mon, 02 Jul 2007 10:43:20 +0200 chaieb Generic QE need no Context anymore
Mon, 25 Jun 2007 00:36:38 +0200 wenzelm made type conv pervasive;
Thu, 21 Jun 2007 20:48:48 +0200 wenzelm moved quantifier elimination tools to Tools/Qelim/;
less more (0) tip