diff options
| author | David Aspinall | 2002-08-30 09:44:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-30 09:44:06 +0000 |
| commit | 0298a276904c9434fff318fbd9d6c6fd442bafe5 (patch) | |
| tree | 6ec4da791d69cfde6fd07eccd40f0cc497f995b1 /isa/Example.thy | |
| parent | 4bd424dc4e077d0ffc9446d0f58c4a3dcea6f14a (diff) | |
Formatting
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions