diff options
author | 1999-08-06 18:01:09 +0000 | |
---|---|---|
committer | 1999-08-06 18:01:09 +0000 | |
commit | cd6c2b24c5b81465d3dbcc292b4457ed37ab9fb1 (patch) | |
tree | f4b196198273bbc1c02a92702418e717be232c2d /isa/example.thy | |
parent | 7cc5024441ea29b5e341d0db2b04426b391da60a (diff) |
tuned;
Diffstat (limited to 'isa/example.thy')
-rw-r--r-- | isa/example.thy | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/isa/example.thy b/isa/example.thy index 4e0ac963..37c21578 100644 --- a/isa/example.thy +++ b/isa/example.thy @@ -7,6 +7,4 @@ *) -example = HOL - - +example = Main |