src/HOL/Decision_Procs/Decision_Procs.thy
Tue, 26 Mar 2013 20:37:32 +0100 wenzelm tuned session specification;
Mon, 26 Apr 2010 11:34:15 +0200 haftmann line break
Mon, 08 Feb 2010 17:12:18 +0100 haftmann tuned header
Fri, 30 Oct 2009 13:59:49 +0100 haftmann moved Commutative_Ring into session Decision_Procs
Sun, 25 Oct 2009 08:57:35 +0100 chaieb Add a quantifier elimination for parametric linear arithmetic over ordered fields (parameters are multivariate polynomials)
Wed, 11 Mar 2009 08:45:47 +0100 haftmann moved Decision_Procs examples to Decision_Procs/ex
Sat, 07 Feb 2009 09:25:59 +0100 haftmann added Decision_Procs.thy
less more (0) tip