src/HOL/ROOT
changeset 72478 b452242dce36
parent 72458 b44e894796d5
child 72486 e4d707eb7d1b
equal deleted inserted replaced
72477:56ef403eab15 72478:b452242dce36
   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=VERIT_SOLVER]
   935   theories [condition = ISABELLE_VERIT]
   936     SMT_Tests_Verit
   936     SMT_Tests_Verit
   937     SMT_Examples_Verit
   937     SMT_Examples_Verit
   938 
   938 
   939 session "HOL-SPARK" in "SPARK" = "HOL-Word" +
   939 session "HOL-SPARK" in "SPARK" = "HOL-Word" +
   940   theories
   940   theories