diff options
| author | Makarius Wenzel | 1999-05-23 14:24:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-23 14:24:07 +0000 |
| commit | 91d72cf79c4c22be191f23af7de574fd8b0ae27f (patch) | |
| tree | 59fb10a0733e8091420a7d78a098cc55c3f50b1d /isar/Example.thy | |
| parent | 936729e649aa43b0296204ae5302156de24e41af (diff) | |
Isabelle/Isar keyword classification (used to be in isar-syntax.el);
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions