diff options
| author | David Aspinall | 2002-09-04 17:04:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-04 17:04:02 +0000 |
| commit | 457d2f8017e06e089425d4106e1dc51b7a3d029c (patch) | |
| tree | 680d62f6ba3da16204f84a015780ef8c8eb16383 /isar/Example.thy | |
| parent | d40e94ad261c3a992a3bd74b18a665aca28abec8 (diff) | |
New files.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions