diff options
| author | David Aspinall | 2010-08-18 12:12:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-18 12:12:47 +0000 |
| commit | 5780206a0fe83c5b6df6d5ba1185a56ae4fcfd13 (patch) | |
| tree | d62d77945ed2c0fdc5aa9f758afd752600999d4d /isar/Example.thy | |
| parent | 5d2226b9f31c9e5281db7718c14c4f3dd2642c66 (diff) | |
Load elp first
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions