| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Thu, 29 Oct 2009 23:56:33 +0100 | wenzelm | eliminated some old folds; | file | diff | annotate |
| Tue, 20 Oct 2009 21:22:37 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 19 Oct 2009 23:02:56 +0200 | wenzelm | always qualify NJ's old List.foldl/foldr in Isabelle/ML; | file | diff | annotate |
| Wed, 30 Sep 2009 13:48:00 +0200 | Philipp Meyer | tuned FuncFun and FuncUtil structure in positivstellensatz.ML | file | diff | annotate |
| Tue, 22 Sep 2009 14:17:54 +0200 | Philipp Meyer | removed opening of structures | file | diff | annotate |
| Tue, 22 Sep 2009 11:26:46 +0200 | Philipp Meyer | used standard fold function and type aliases | file | diff | annotate |
| Mon, 21 Sep 2009 15:05:26 +0200 | Philipp Meyer | sos method generates and uses proof certificates | file | diff | annotate |