Tue, 24 Mar 2009 21:24:53 +0100 | wenzelm | display derivation status of thms; | changeset | files |
Tue, 24 Mar 2009 19:37:50 +0100 | wenzelm | recover old ids; | changeset | files |
Tue, 24 Mar 2009 18:21:58 +0100 | wenzelm | report ML typing; | changeset | files |