| Thu, 14 Feb 2002 11:50:52 +0100 | nipkow | nodups -> distinct | changeset | files |
| Wed, 13 Feb 2002 10:48:29 +0100 | paulson | deleted some redundant 'addS*Es [equalityC*E]'s | changeset | files |
| Wed, 13 Feb 2002 10:45:08 +0100 | paulson | new function lemmas | changeset | files |
| Wed, 13 Feb 2002 10:44:39 +0100 | paulson | tidied. no more special simpset (super_ss) | changeset | files |
| Wed, 13 Feb 2002 10:44:07 +0100 | paulson | new lemmas for closure under Union | changeset | files |
| Tue, 12 Feb 2002 20:35:35 +0100 | wenzelm | eliminated Pure/Isar/comment.ML; | changeset | files |
| Tue, 12 Feb 2002 20:34:02 +0100 | wenzelm | ANTIQUOTE_FAIL; | changeset | files |