Fri, 19 Feb 2010 11:06:22 +0100 | haftmann | context theorem is optional | changeset | files |
Fri, 19 Feb 2010 11:06:22 +0100 | haftmann | added dest_comb | changeset | files |
Fri, 19 Feb 2010 11:06:21 +0100 | haftmann | a simple concept for datatype invariants | changeset | files |