Sun, 22 Mar 2009 20:46:12 +0100 | haftmann | more antiquotations | file | diff | annotate |
Sun, 22 Jul 2007 17:53:50 +0200 | chaieb | tuned | file | diff | annotate |
Thu, 19 Jul 2007 21:47:42 +0200 | haftmann | tuned | file | diff | annotate |
Thu, 05 Jul 2007 20:01:30 +0200 | wenzelm | renamed Conv.is_refl to Thm.is_reflexive; | file | diff | annotate |
Mon, 02 Jul 2007 10:43:20 +0200 | chaieb | Generic QE need no Context anymore | file | diff | annotate |
Mon, 25 Jun 2007 00:36:38 +0200 | wenzelm | made type conv pervasive; | file | diff | annotate |
Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |