Tue, 11 Dec 2007 10:23:10 +0100 | haftmann | dropped Class.prep_spec | changeset | files |
Tue, 11 Dec 2007 10:23:09 +0100 | haftmann | moved lemma odd_pos to theory Parity | changeset | files |
Tue, 11 Dec 2007 10:23:08 +0100 | haftmann | joined StarClasses theory with StarDef | changeset | files |