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 |