| Thu, 29 Jun 2000 22:31:12 +0200 | wenzelm | have_theorems etc.: handle multiple lists of arguments; | changeset | files |
| Thu, 29 Jun 2000 22:29:46 +0200 | wenzelm | have_thmss: handle multiple lists of arguments; | changeset | files |
| Thu, 29 Jun 2000 16:50:52 +0200 | paulson | now freezes Vars in order to prevent errors in cases like these: | changeset | files |
| Thu, 29 Jun 2000 12:19:27 +0200 | paulson | tidied proofs using default rule equalityCE | changeset | files |
| Thu, 29 Jun 2000 12:17:18 +0200 | paulson | the default equalityCE simplifies proofs | changeset | files |
| Thu, 29 Jun 2000 12:16:43 +0200 | paulson | tidied | changeset | files |
| Thu, 29 Jun 2000 12:15:08 +0200 | paulson | fixed proof to cope with the default of equalityCE instead of equalityE | changeset | files |
| Thu, 29 Jun 2000 12:14:45 +0200 | paulson | now uses equalityCE, which usually is more efficent than equalityE | changeset | files |