src/HOL/ROOT
changeset 49693 393d7242adaf
parent 49601 ba31032887db
child 49872 c6a686c9be2a
equal deleted inserted replaced
49692:a8a3b82b37f8 49693:393d7242adaf
   629     Process
   629     Process
   630     TreeFsetI
   630     TreeFsetI
   631     "Infinite_Derivation_Trees/Gram_Lang"
   631     "Infinite_Derivation_Trees/Gram_Lang"
   632     "Infinite_Derivation_Trees/Parallel"
   632     "Infinite_Derivation_Trees/Parallel"
   633     Stream
   633     Stream
   634   theories [parallel_proofs = 0, condition = ISABELLE_FULL_TEST]
   634   theories [condition = ISABELLE_FULL_TEST]
   635     Misc_Codata
   635     Misc_Codata
   636     Misc_Data
   636     Misc_Data
   637 
   637 
   638 session "HOL-Word" in Word = HOL +
   638 session "HOL-Word" in Word = HOL +
   639   options [document_graph]
   639   options [document_graph]