| Wed, 30 Nov 2005 14:27:09 +0100 | urbanc | adapted to the new nominal_induction | changeset | files |
| Wed, 30 Nov 2005 12:28:47 +0100 | urbanc | changed \<sim> of permutation equality to \<triangleq> | changeset | files |
| Wed, 30 Nov 2005 12:23:35 +0100 | wenzelm | fresh_unit_elim and fresh_prod_elim -- for nominal_induct; | changeset | files |
| Wed, 30 Nov 2005 01:01:15 +0100 | huffman | reimplement Case expression pattern matching to support lazy patterns | changeset | files |