Wed, 21 Jul 1999 15:17:54 +0200 | paulson | a more robust proof | changeset | files |
Wed, 21 Jul 1999 15:17:30 +0200 | paulson | tweaked proof after removal of diff_is_0_eq RS iffD2 | changeset | files |
Wed, 21 Jul 1999 15:16:32 +0200 | paulson | better error message for curried recdefs, etc. | changeset | files |
Wed, 21 Jul 1999 11:34:59 +0200 | nipkow | Mod by Norber Voelcker | changeset | files |