| Wed, 20 Feb 2002 00:54:54 +0100 | wenzelm | removed obscure functions bump_int_list, bump_list, bump_string; | changeset | files |
| Wed, 20 Feb 2002 00:53:53 +0100 | wenzelm | Symbol.bump_string; | changeset | files |
| Tue, 19 Feb 2002 23:49:49 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 19 Feb 2002 23:49:26 +0100 | wenzelm | Paulson:1989; | changeset | files |
| Tue, 19 Feb 2002 23:45:54 +0100 | wenzelm | "isatool usedir -D output HOL Test && isatool document Test/output"; | changeset | files |
| Sat, 16 Feb 2002 21:26:19 +0100 | kleing | fixed copy_all | changeset | files |
| Sat, 16 Feb 2002 20:59:34 +0100 | wenzelm | converted/deleted equalities.ML, mono.ML, subset.ML (see Set.thy); | changeset | files |
| Fri, 15 Feb 2002 20:43:44 +0100 | wenzelm | removed unused unmask_interrupt; | changeset | files |
| 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 |
| Tue, 12 Feb 2002 20:33:37 +0100 | wenzelm | eliminated Isar/comment.ML; | changeset | files |