src/HOL/ROOT
changeset 72312 0134a7d6ad56
parent 72262 a282abb07642
child 72331 850ba6d47300
equal deleted inserted replaced
72311:9a7a14117967 72312:0134a7d6ad56
   316     (verification conditions are generated automatically).
   316     (verification conditions are generated automatically).
   317   "
   317   "
   318   theories Hoare_Parallel
   318   theories Hoare_Parallel
   319   document_files "root.bib" "root.tex"
   319   document_files "root.bib" "root.tex"
   320 
   320 
   321 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
   321 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Library" +
   322   sessions
   322   sessions
       
   323     "HOL-Number_Theory"
   323     "HOL-Data_Structures"
   324     "HOL-Data_Structures"
   324     "HOL-Examples"
   325     "HOL-Examples"
   325     "HOL-Word"
   326     "HOL-Word"
   326   theories
   327   theories
   327     Generate
   328     Generate