diff options
| author | David Aspinall | 1999-07-02 11:41:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-02 11:41:47 +0000 |
| commit | 1443c8d16df9afad2db7c9607338d8a387c2db90 (patch) | |
| tree | 3246e6c8637d260a22594594df8e6d5e8a8771cf /isa/example.thy | |
| parent | ab054c757e8d0cde207233a37e4a18fdf598c6af (diff) | |
Spaces and punctuation
Diffstat (limited to 'isa/example.thy')
0 files changed, 0 insertions, 0 deletions