diff options
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 |