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