| Thu, 03 Jan 2008 22:09:44 +0100 | huffman | new axclass finite_po < finite, po | changeset | files |
| Thu, 03 Jan 2008 22:08:54 +0100 | huffman | add lub_maximal lemmas; | changeset | files |
| Thu, 03 Jan 2008 20:29:00 +0100 | wenzelm | added class Property: basic Isabelle properties; | changeset | files |