diff options
| author | David Aspinall | 2002-08-08 10:49:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 10:49:17 +0000 |
| commit | b5ef19c5990c6e2c8baa5aaded4c32dfa254861d (patch) | |
| tree | ccee537bfedc75b43e1d911f865e17e22a141081 /isar/Example.thy | |
| parent | 601240294f64194fb9fd590ba719ddf08aa10ea4 (diff) | |
New files.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions