| Wed, 26 Aug 2009 11:40:28 +0200 | boehmes | added further conversions and conversionals | file | diff | annotate |
| Thu, 09 Jul 2009 22:01:41 +0200 | wenzelm | renamed functor TableFun to Table, and GraphFun to Graph; | file | diff | annotate |
| Tue, 12 May 2009 17:32:50 +0100 | chaieb | A generic arithmetic prover based on Positivstellensatz certificates --- also implements Fourrier-Motzkin elimination as a special case Fourrier-Motzkin elimination | file | diff | annotate |