src/HOL/W0/W0.thy
changeset 15140 322485b816ac
parent 14981 e73f8140af78
child 15236 f289e8ba2bb3
     1.1 --- a/src/HOL/W0/W0.thy	Tue Aug 17 11:00:24 2004 +0200
     1.2 +++ b/src/HOL/W0/W0.thy	Wed Aug 18 11:09:40 2004 +0200
     1.3 @@ -3,7 +3,9 @@
     1.4      Author:     Dieter Nazareth, Tobias Nipkow, Thomas Stauner, Markus Wenzel
     1.5  *)
     1.6  
     1.7 -theory W0 = Main:
     1.8 +theory W0
     1.9 +imports Main
    1.10 +begin
    1.11  
    1.12  section {* Universal error monad *}
    1.13