diff options
| author | Makarius Wenzel | 1999-08-16 17:03:17 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-16 17:03:17 +0000 |
| commit | 30d790e6b977879d90296e73aa6e76dee309e866 (patch) | |
| tree | 0deafd8b2f0ae2743bfe068f8117584ef25def3f /isar/Example.thy | |
| parent | cd6c2b24c5b81465d3dbcc292b4457ed37ab9fb1 (diff) | |
disable_pr, enable_pr;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions