| Thu, 21 Feb 2002 20:10:34 +0100 | wenzelm | clarified internal theory dependencies; | changeset | files |
| Thu, 21 Feb 2002 20:10:05 +0100 | wenzelm | bind_thms basic_monos; | changeset | files |
| Thu, 21 Feb 2002 20:09:48 +0100 | wenzelm | include theory Record (tuned dependencies); | changeset | files |
| Thu, 21 Feb 2002 20:09:19 +0100 | wenzelm | removed theory Option; | changeset | files |
| Thu, 21 Feb 2002 20:08:09 +0100 | wenzelm | theory Option has been assimilated by Datatype; | changeset | files |
| Thu, 21 Feb 2002 20:06:39 +0100 | wenzelm | * HOL: removed obsolete theorem "optionE"; | changeset | files |
| Thu, 21 Feb 2002 18:19:34 +0100 | wenzelm | updated title; | changeset | files |
| Thu, 21 Feb 2002 14:08:09 +0100 | kleing | new MicroJava document | changeset | files |