diff options
| author | David Aspinall | 2006-10-29 22:47:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-10-29 22:47:23 +0000 |
| commit | eedf9360c623b21a599d6645b2776377af7cfd7a (patch) | |
| tree | 88577bd9c54b59e9937da360455889406ad0cdf1 /isa/Example.thy | |
| parent | dd508e40ec0ed110202eab8f854c5dc3c4ca220d (diff) | |
Updated.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions