src/HOL/ROOT
changeset 72486 e4d707eb7d1b
parent 72478 b452242dce36
child 72515 c7038c397ae3
equal deleted inserted replaced
72485:a0066948e7df 72486:e4d707eb7d1b
   930   theories
   930   theories
   931     Boogie
   931     Boogie
   932     SMT_Examples
   932     SMT_Examples
   933     SMT_Word_Examples
   933     SMT_Word_Examples
   934     SMT_Tests
   934     SMT_Tests
   935   theories [condition = ISABELLE_VERIT]
       
   936     SMT_Tests_Verit
   935     SMT_Tests_Verit
   937     SMT_Examples_Verit
   936     SMT_Examples_Verit
   938 
   937 
   939 session "HOL-SPARK" in "SPARK" = "HOL-Word" +
   938 session "HOL-SPARK" in "SPARK" = "HOL-Word" +
   940   theories
   939   theories