Sat, 28 Jun 2008 22:56:26 +0200 | wenzelm | tuned; | changeset | files |
Sat, 28 Jun 2008 22:54:19 +0200 | wenzelm | additional ML antiquotations; | changeset | files |
Sat, 28 Jun 2008 22:52:11 +0200 | wenzelm | moved theorem values to ml_thms.ML; | changeset | files |