Thu, 26 Jun 2008 10:06:51 +0200 | haftmann | class theory name lookup improved | changeset | files |
Wed, 25 Jun 2008 22:11:17 +0200 | wenzelm | modernized specifications; | changeset | files |
Wed, 25 Jun 2008 22:01:35 +0200 | wenzelm | tuned proofs; | changeset | files |