Sun, 01 Mar 2009 23:36:12 +0100 | wenzelm | use long names for old-style fold combinators; | file | diff | annotate |
Mon, 02 Feb 2009 15:12:18 +0100 | krauss | fix potential incompleteness in SAT encoding | file | diff | annotate |
Tue, 16 Dec 2008 08:46:07 +0100 | krauss | method "sizechange" proves termination of functions; added more infrastructure for termination proofs | file | diff | annotate |