diff options
| author | David Aspinall | 2002-08-30 21:52:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-30 21:52:23 +0000 |
| commit | d4c2e794c341008200906cf2a5f2a1fcfbaf55ef (patch) | |
| tree | 2a2013635e38525db247a59785fb3733daa5b43a /isa/Example.thy | |
| parent | 73d73f03ae44322a613127444b7073843bab2686 (diff) | |
Updated.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions