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 |
Sat, 28 Jun 2008 22:52:07 +0200 | wenzelm | Isar theorem values within ML. | changeset | files |