| Thu, 29 Oct 2009 14:03:55 +0100 | bulwahn | merged | changeset | files |
| Thu, 29 Oct 2009 13:59:37 +0100 | bulwahn | encapsulating records with datatype constructors and adding type annotations to make SML/NJ happy | changeset | files |
| Wed, 28 Oct 2009 12:29:03 +0100 | bulwahn | improved mode parser; added mode annotations to examples | changeset | files |
| Wed, 28 Oct 2009 12:29:02 +0100 | bulwahn | moved datatype mode and string functions to the auxillary structure | changeset | files |
| Wed, 28 Oct 2009 12:29:01 +0100 | bulwahn | improving mode parsing in the predicate compiler | changeset | files |
| Wed, 28 Oct 2009 12:29:00 +0100 | bulwahn | improved handling of alternative rules; added test cases for alternative rules; normalized tracing in the predicate compiler | changeset | files |
| Thu, 29 Oct 2009 16:22:14 +0000 | paulson | merged | changeset | files |
| Thu, 29 Oct 2009 16:21:43 +0000 | paulson | Tidied up some very ugly proofs | changeset | files |