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