diff options
| author | David Aspinall | 2004-10-05 21:09:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-10-05 21:09:10 +0000 |
| commit | 93ae622599830c87c80487d4355020c227a9f503 (patch) | |
| tree | f6c2e020e72dd327a24cc3b614f41785bdd1ab82 /isar/Example.thy | |
| parent | d93f05961e41a829d1e54ccd5e3e17807ef88f3e (diff) | |
No change
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions