| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | added further example of the values command | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | Adopted output of values command | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | improved handling of overloaded constants; examples with numerals | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | made SML/NJ happy; tuned | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | adding tracing function for evaluated code; annotated compilation in the predicate compiler | changeset | files |
| Fri, 06 Nov 2009 17:52:57 +0100 | boehmes | added documentation for local SMT solver setup and available SMT options, | changeset | files |
| Fri, 06 Nov 2009 14:42:42 +0100 | krauss | renamed method induct_scheme to induction_schema | changeset | files |
| Fri, 06 Nov 2009 13:49:19 +0100 | krauss | NEWS | changeset | files |