Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
killed obsolete artifact
authorblanchet
Mon, 02 Dec 2013 20:31:54 +0100
changeset 55998f312a035d0cf
parent 55997 36301c99ed26
child 55999 8a5e82425e55
killed obsolete artifact
src/HOL/BNF/Examples/Derivation_Trees/DTree.thy file | annotate | diff | comparison | revisions 
     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
wneuper/isa