Wed, 28 Apr 2010 21:41:06 +0200 | haftmann | updated generated file | file | diff | annotate |
Mon, 16 Feb 2009 19:11:35 +0100 | haftmann | re-generated | file | diff | annotate |
Fri, 06 Feb 2009 15:15:32 +0100 | haftmann | session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there | file | diff | annotate |
Tue, 03 Feb 2009 16:50:40 +0100 | haftmann | regenerated presburger code | file | diff | annotate |
Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
Tue, 10 Jul 2007 17:30:56 +0200 | haftmann | now a monolithic module | file | diff | annotate |
Tue, 10 Jul 2007 09:23:15 +0200 | haftmann | replaced code generator framework for reflected cooper | file | diff | annotate |
Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |