diff options
| author | Makarius Wenzel | 2000-12-15 16:57:01 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-12-15 16:57:01 +0000 |
| commit | 12cfbfb4e188285810fcb7613411b56e2b0628a7 (patch) | |
| tree | e4ae2de40da8bae2347f1a393447a1ea1aab4daa /isar/Example.thy | |
| parent | 50ceaa3e54f7e92b5e590f7d07154985f0242c17 (diff) | |
tuned some (rarely used) symbols;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions