diff options
| author | David Aspinall | 2006-09-22 20:03:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-09-22 20:03:36 +0000 |
| commit | 550dc95f4d907c99719add2933d7a4ca7b399cbe (patch) | |
| tree | eca5386b0043e265dd9b77e9bfa154fbf4f99acf /isa/Example.thy | |
| parent | 48370c927946ebc0b1deccc2bec1dfb30249f8e2 (diff) | |
Cut comint input ring, minor efficiency tweak.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions