| changeset 51301 | 6822aa82aafa |
| parent 48163 | f0ecc1550998 |
| child 51378 | 502f6a53519b |
--- a/src/HOL/Library/Phantom_Type.thy Thu Feb 28 12:09:32 2013 +0100 +++ b/src/HOL/Library/Phantom_Type.thy Thu Feb 28 12:24:24 2013 +0100 @@ -4,7 +4,7 @@ header {* A generic phantom type *} -theory Phantom_Type imports "~~/src/HOL/Main" begin +theory Phantom_Type imports Main begin datatype ('a, 'b) phantom = phantom 'b