# HG changeset patch
# User blanchet
# Date 1386012714 -3600
# Node ID f312a035d0cffa1fc376e212767009c7078aa9c5
# Parent  36301c99ed2613899e678b8dad1dc46153f5371b
killed obsolete artifact

diff -r 36301c99ed26 -r f312a035d0cf src/HOL/BNF/Examples/Derivation_Trees/DTree.thy
--- a/src/HOL/BNF/Examples/Derivation_Trees/DTree.thy	Mon Dec 02 20:31:54 2013 +0100
+++ b/src/HOL/BNF/Examples/Derivation_Trees/DTree.thy	Mon Dec 02 20:31:54 2013 +0100
@@ -11,8 +11,6 @@
 imports Prelim
 begin
 
-hide_fact (open) Lifting_Product.prod_rel_def
-
 typedecl N
 typedecl T