| Fri, 15 Feb 2002 20:43:09 +0100 | wenzelm | clarified copy_all; | changeset | files |
| Fri, 15 Feb 2002 20:42:00 +0100 | wenzelm | moved copy_all to Thy/present.ML; | changeset | files |
| Fri, 15 Feb 2002 20:41:39 +0100 | wenzelm | replaced nodups by distinct; | changeset | files |
| Fri, 15 Feb 2002 20:41:19 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 15 Feb 2002 12:07:27 +0100 | paulson | a new definition of "restrict" | changeset | files |
| Thu, 14 Feb 2002 20:30:49 +0100 | wenzelm | made MLWorks happy; | changeset | files |
| Thu, 14 Feb 2002 12:24:02 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 14 Feb 2002 12:06:07 +0100 | nipkow | nodups -> distinct | changeset | files |
| 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 |