src/HOL/Decision_Procs/Decision_Procs.thy
2013-03-26 wenzelm 2013-03-26 tuned session specification;
2010-04-26 haftmann 2010-04-26 line break
2010-02-08 haftmann 2010-02-08 tuned header
2009-10-30 haftmann 2009-10-30 moved Commutative_Ring into session Decision_Procs
2009-10-25 chaieb 2009-10-25 Add a quantifier elimination for parametric linear arithmetic over ordered fields (parameters are multivariate polynomials)
2009-03-11 haftmann 2009-03-11 moved Decision_Procs examples to Decision_Procs/ex
2009-02-07 haftmann 2009-02-07 added Decision_Procs.thy