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