changeset 55998 | f312a035d0cf |
parent 55909 | 69b3ff79a69e |
child 56408 | 4e5ddf3162ac |
1.1 --- a/src/HOL/BNF/Examples/Derivation_Trees/DTree.thy Mon Dec 02 20:31:54 2013 +0100 1.2 +++ b/src/HOL/BNF/Examples/Derivation_Trees/DTree.thy Mon Dec 02 20:31:54 2013 +0100 1.3 @@ -11,8 +11,6 @@ 1.4 imports Prelim 1.5 begin 1.6 1.7 -hide_fact (open) Lifting_Product.prod_rel_def 1.8 - 1.9 typedecl N 1.10 typedecl T 1.11