| Thu, 18 Oct 2007 14:30:55 +0200 | wenzelm | DeclareRobustCommand \isactrlbsub/esub etc.; | changeset | files |
| Thu, 18 Oct 2007 09:21:00 +0200 | haftmann | evaluation is CRITICAL | changeset | files |
| Thu, 18 Oct 2007 09:20:59 +0200 | haftmann | moved fork_mixfix to theory_target | changeset | files |
| Thu, 18 Oct 2007 09:20:58 +0200 | haftmann | moved lemmas to OrderedGroup.thy | changeset | files |
| Thu, 18 Oct 2007 09:20:57 +0200 | haftmann | continued localization | changeset | files |
| Thu, 18 Oct 2007 09:20:55 +0200 | haftmann | localized mono predicate | changeset | files |
| Wed, 17 Oct 2007 23:16:38 +0200 | wenzelm | removed obsolete unlocalize_mfix; | changeset | files |
| Wed, 17 Oct 2007 23:16:36 +0200 | wenzelm | removed obsolete unlocalize_mixfix; | changeset | files |