Fri, 20 Apr 2007 11:21:34 +0200 | haftmann | added class tutorial | changeset | files |
Fri, 20 Apr 2007 11:21:33 +0200 | haftmann | code generator changes | changeset | files |
Fri, 20 Apr 2007 10:09:32 +0200 | krauss | generate page labels | changeset | files |
Fri, 20 Apr 2007 10:06:11 +0200 | krauss | definition lookup via terms, not names. Methods "relation" and "lexicographic_order" | changeset | files |
Fri, 20 Apr 2007 00:28:07 +0200 | urbanc | declared lemmas true_eqvt and false_eqvt to be equivariant (suggested by samth at ccs.neu.edu) | changeset | files |
Thu, 19 Apr 2007 18:23:11 +0200 | paulson | trying to make single-step proofs work better, especially if they contain | changeset | files |
Thu, 19 Apr 2007 16:38:59 +0200 | berghofe | nominal_inductive no longer proves equivariance. | changeset | files |