diff options
| author | Pierre Courtieu | 2006-09-06 10:38:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-06 10:38:37 +0000 |
| commit | 6d73195f7b3e976f2df62d13f029f55558cde5fd (patch) | |
| tree | acdfc2a276a3fa702bbae11d3ffb7c8cbce56598 /isa/Example.thy | |
| parent | cef854b93888b79d08b0410cc0600b53c9790d28 (diff) | |
updating changes in coq/CHANGES.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions