diff options
| author | Makarius Wenzel | 1999-05-23 14:29:13 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-23 14:29:13 +0000 |
| commit | 62523690f3e8606b02e609e8627e8d7997fe2e65 (patch) | |
| tree | 11c1816c9501c36229e1eec97c3b160a28a83190 /isar/Example.thy | |
| parent | d0e7c7bb3cccd76882f9b94bb44e44020e6391e6 (diff) | |
replaced isar-keywords-section by isar-keywords-theory-heading;
added isar-not-undoable-commands-regexp;
improved isar-cound-undos;
proper version of isar-find-and-forget (handles local qeds properly);
improved character syntax classes;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions