diff options
| author | David Aspinall | 2000-05-31 14:15:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-31 14:15:47 +0000 |
| commit | 432802b44d2bc21b633c0bd3261459b66eb8af38 (patch) | |
| tree | a9778e3db68f3df18ee3b847b742f6423ef0f21e /isar/Example.thy | |
| parent | d70352a272abfece407d049077ffd99464a44810 (diff) | |
Compatibility with completion package.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions