1.1 --- a/doc-src/TutorialI/Trie/Option2.thy	Wed Nov 29 18:42:40 2000 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,8 +0,0 @@
     1.4 -(*<*)
     1.5 -theory Option2 = Main:;
     1.6 -(*>*)
     1.7 -
     1.8 -datatype 'a option = None | Some 'a;
     1.9 -(*<*)
    1.10 -end
    1.11 -(*>*)