| Thu, 21 Feb 2002 20:11:32 +0100 | wenzelm | * HOL: removed obsolete theorem "optionE"; | changeset | files |
| Thu, 21 Feb 2002 20:11:05 +0100 | wenzelm | fixed get_name_tags in order to work with hyps; | changeset | files |
| 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 |
| Thu, 21 Feb 2002 13:37:09 +0100 | kleing | fix toc | changeset | files |
| Thu, 21 Feb 2002 11:05:20 +0100 | wenzelm | fixed document; | changeset | files |
| Thu, 21 Feb 2002 10:25:00 +0100 | wenzelm | tr: quote argument; | changeset | files |
| Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | changeset | files |