| Wed, 11 Aug 2010 18:44:06 +0200 | wenzelm | Named_Target; | changeset | files |
| Wed, 11 Aug 2010 18:41:06 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 11 Aug 2010 18:22:14 +0200 | wenzelm | spelling; | changeset | files |
| Wed, 11 Aug 2010 18:17:53 +0200 | wenzelm | merged | changeset | files |
| Wed, 11 Aug 2010 14:45:38 +0200 | haftmann | renamed Theory_Target to the more appropriate Named_Target | changeset | files |
| Wed, 11 Aug 2010 14:41:16 +0200 | haftmann | discontinue old implementation of `foundation` | changeset | files |
| Wed, 11 Aug 2010 14:31:43 +0200 | haftmann | moved instantiation target formally to class_target.ML | changeset | files |