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