src/HOL/ROOT
changeset 49601 ba31032887db
parent 49596 c3536db7e938
child 49693 393d7242adaf
     1.1 --- a/src/HOL/ROOT	Wed Sep 26 19:50:10 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Sep 27 00:40:51 2012 +0200
     1.3 @@ -625,7 +625,6 @@
     1.4    description {* Examples for Bounded Natural Functors *}
     1.5    options [document = false]
     1.6    theories
     1.7 -    HFset
     1.8      Lambda_Term
     1.9      Process
    1.10      TreeFsetI