| 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 |