src/HOL/Library/Phantom_Type.thy
changeset 51542 738598beeb26
parent 51378 502f6a53519b
child 52143 36ffe23b25f8
--- a/src/HOL/Library/Phantom_Type.thy	Tue Mar 26 19:43:31 2013 +0100
+++ b/src/HOL/Library/Phantom_Type.thy	Tue Mar 26 20:02:02 2013 +0100
@@ -4,7 +4,9 @@
 
 header {* A generic phantom type *}
 
-theory Phantom_Type imports Main begin
+theory Phantom_Type
+imports Main
+begin
 
 datatype ('a, 'b) phantom = phantom 'b