src/HOL/ROOT

     Misc_Primcorec
     Misc_Primrec
   theories [condition = ISABELLE_FULL_TEST, timing]
     Brackin
     Instructions
-    IsaFoR_Datatypes
+    IsaFoR
     SML
     Verilog
 
 session "HOL-Word" (main) in Word = HOL +
   options [document_graph]