
diff -r 92cd56dfc17e -r 8e4307d1207a doc-src/TutorialI/Trie/Option2.thy
--- a/doc-src/TutorialI/Trie/Option2.thy	Wed Nov 29 18:42:40 2000 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-(*<*)
-theory Option2 = Main:;
-(*>*)
-
-datatype 'a option = None | Some 'a;
-(*<*)
-end
-(*>*)




