diff options
| author | David Aspinall | 1999-09-21 16:13:02 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-21 16:13:02 +0000 |
| commit | e8beaf4989ca81c61af0ede150e3b2942debe3e2 (patch) | |
| tree | 2be9075a1571b6faf21b19697d8eaaf1d9b593b2 /isa/Example.thy | |
| parent | 9d1bf8b956e4a2f9e7aa56680104f25c5c474f01 (diff) | |
Robustification so that new instances are easier to add
(allowed a bunch of regexps to be unset, safely).
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions