diff options
| author | Pierre Courtieu | 2006-09-07 17:39:36 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-07 17:39:36 +0000 |
| commit | 29fa6d27c20493a472045c5fb4c5a442cfdcfac7 (patch) | |
| tree | e4b768989c6ded3b9c8c8b86f0aefeb648984500 /isa/Example.thy | |
| parent | a23ca01c680d2cf63de8b008ec44b8cbacf5f89e (diff) | |
Updated CHANGES.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions