diff options
| author | David Aspinall | 2000-12-07 12:39:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-07 12:39:34 +0000 |
| commit | b1a1c3035afaffb5bebc20a87002e6a57532578f (patch) | |
| tree | 714aa3ded4e1062230dba5b2a89e37f580042e92 /isa/Example.thy | |
| parent | c41bce164eb966da12cbec5ac7b71bd3306c9687 (diff) | |
Add provide
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions