Tue, 05 Aug 2008 14:40:48 +0200 | krauss | fix HOL/ex/LexOrds.thy; add to regression | changeset | files |
Tue, 05 Aug 2008 13:31:38 +0200 | wenzelm | added report; | changeset | files |
Tue, 05 Aug 2008 13:31:36 +0200 | wenzelm | removed axiom; | changeset | files |