diff options
| author | Makarius Wenzel | 2006-10-11 18:34:26 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-10-11 18:34:26 +0000 |
| commit | 5c75af0dd3d5341a3e3d93818bf61a015727392e (patch) | |
| tree | e62ec2fb803a42a89d584bf8d61dc6d72ff26eae /isa/Example.thy | |
| parent | 91e05d4fb4060094a7a15f260aebac7a205a836a (diff) | |
added regexps for begin/end and theory start;
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions