| Mon, 26 Apr 2010 11:34:15 +0200 | haftmann | line break | file | diff | annotate |
| Mon, 08 Feb 2010 17:12:18 +0100 | haftmann | tuned header | file | diff | annotate |
| Fri, 30 Oct 2009 13:59:49 +0100 | haftmann | moved Commutative_Ring into session Decision_Procs | file | diff | annotate |
| Sun, 25 Oct 2009 08:57:35 +0100 | chaieb | Add a quantifier elimination for parametric linear arithmetic over ordered fields (parameters are multivariate polynomials) | file | diff | annotate |
| Wed, 11 Mar 2009 08:45:47 +0100 | haftmann | moved Decision_Procs examples to Decision_Procs/ex | file | diff | annotate |
| Sat, 07 Feb 2009 09:25:59 +0100 | haftmann | added Decision_Procs.thy | file | diff | annotate |