Mon, 27 Nov 2006 13:42:47 +0100 | haftmann | introduced Simpdata structure | changeset | files |
Mon, 27 Nov 2006 13:42:46 +0100 | haftmann | added Trueprop_conv | changeset | files |
Mon, 27 Nov 2006 13:42:42 +0100 | haftmann | restructured some proofs | changeset | files |
Mon, 27 Nov 2006 13:42:41 +0100 | haftmann | tuned keyword setup for SML code generator | changeset | files |
Mon, 27 Nov 2006 13:42:39 +0100 | haftmann | moved order arities for fun and bool to Fun/Orderings | changeset | files |
Mon, 27 Nov 2006 13:42:33 +0100 | haftmann | removed HOL structure | changeset | files |