| Wed, 06 Dec 2000 21:32:25 +0100 | wenzelm | deactivate Rational_Numbers (tmp!); | changeset | files |
| Wed, 06 Dec 2000 21:10:40 +0100 | wenzelm | updated; | changeset | files |
| Wed, 06 Dec 2000 20:45:36 +0100 | wenzelm | Rational_Numbers; | changeset | files |
| Wed, 06 Dec 2000 20:45:08 +0100 | wenzelm | less rude treatment of "no_def"; | changeset | files |
| Wed, 06 Dec 2000 20:05:58 +0100 | wenzelm | added Library/Rational_Numbers.thy; | changeset | files |
| Wed, 06 Dec 2000 19:10:36 +0100 | oheimb | improved superclass entry for classes and definition status of is_class, class | changeset | files |
| Wed, 06 Dec 2000 19:09:34 +0100 | oheimb | improved superclass entry for classes and definition status of is_class, class | changeset | files |
| Wed, 06 Dec 2000 19:05:50 +0100 | oheimb | simplified interactive handling | changeset | files |