src/HOL/ROOT
changeset 56454 e9e82384e5a1
parent 56215 fcf90317383d
child 56676 015f9e5e4fae
equal deleted inserted replaced
56453:00548d372f02 56454:e9e82384e5a1
   718   description {*
   718   description {*
   719     Examples for Bounded Natural Functors.
   719     Examples for Bounded Natural Functors.
   720   *}
   720   *}
   721   options [document = false]
   721   options [document = false]
   722   theories
   722   theories
       
   723     Compat
   723     Lambda_Term
   724     Lambda_Term
   724     Process
   725     Process
   725     TreeFsetI
   726     TreeFsetI
   726     "Derivation_Trees/Gram_Lang"
   727     "Derivation_Trees/Gram_Lang"
   727     "Derivation_Trees/Parallel"
   728     "Derivation_Trees/Parallel"