| Mon, 05 Jun 2006 21:54:22 +0200 | wenzelm | added matches_seq (left-to-right matching, intermediate beta-normalization); | changeset | files |
| Mon, 05 Jun 2006 21:54:21 +0200 | wenzelm | support embedded terms; | changeset | files |
| Mon, 05 Jun 2006 21:54:20 +0200 | wenzelm | allow non-trivial schematic goals (via embedded term vars); | changeset | files |
| Mon, 05 Jun 2006 19:54:12 +0200 | krauss | HOL/Tools/fundef_package: Cleanup | changeset | files |
| Mon, 05 Jun 2006 19:09:40 +0200 | urbanc | added some further lemmas that deal with permutations and set-operators | changeset | files |
| Mon, 05 Jun 2006 18:38:41 +0200 | urbanc | added the lemma perm_diff | changeset | files |