| Tue, 01 Jul 2008 20:26:48 +0200 | huffman | prove lemma finite in context of finite class | changeset | files |
| Tue, 01 Jul 2008 20:10:59 +0200 | wenzelm | added HOL-Plain; | changeset | files |
| Tue, 01 Jul 2008 18:38:44 +0200 | wenzelm | explicit identification of toplevel commands, with status etc.; | changeset | files |
| Tue, 01 Jul 2008 18:38:43 +0200 | wenzelm | added name_of; | changeset | files |
| Tue, 01 Jul 2008 18:38:41 +0200 | wenzelm | added get_id/put_id; | changeset | files |
| Tue, 01 Jul 2008 09:58:32 +0200 | haftmann | (removed Complex/ROOT.ML) | changeset | files |
| Tue, 01 Jul 2008 08:19:00 +0200 | haftmann | HOL += HOL-Complex | changeset | files |
| Tue, 01 Jul 2008 08:05:08 +0200 | haftmann | HOL += HOL-Complex | changeset | files |