Tue, 01 Jul 2008 21:20:18 +0200 | wenzelm | clean: HOL-Plain; | changeset | files |
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 |