diff options
| author | Makarius Wenzel | 1999-08-18 17:05:22 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-18 17:05:22 +0000 |
| commit | 39e2cc196ed9ef9bf7d9f444b47800368872bd0f (patch) | |
| tree | c9902e0d1ce0a58d34a5a72ebe20fb57fefd0886 /isar/Example.thy | |
| parent | c5f898260c420b355a053f5eb753c7f71828bb94 (diff) | |
deactivated isar-font-lock-terms (currently useless);
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions