src/HOL/ROOT
changeset 52722 2c81f7baf8c4
parent 52499 812215680f6d
child 52726 ee0bd6bababd
equal deleted inserted replaced
52721:6bafe21b13b2 52722:2c81f7baf8c4
   773   theories Ex
   773   theories Ex
   774 
   774 
   775 session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +
   775 session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +
   776   options [document = false, quick_and_dirty]
   776   options [document = false, quick_and_dirty]
   777   theories
   777   theories
       
   778     Boogie
   778     SMT_Examples
   779     SMT_Examples
   779     SMT_Word_Examples
   780     SMT_Word_Examples
   780   theories [condition = ISABELLE_FULL_TEST]
   781   theories [condition = ISABELLE_FULL_TEST]
   781     SMT_Tests
   782     SMT_Tests
   782   files
   783   files
   783     "SMT_Examples.certs"
       
   784     "SMT_Word_Examples.certs"
       
   785 
       
   786 session "HOL-Boogie" in "Boogie" = "HOL-Word" +
       
   787   options [document = false]
       
   788   theories Boogie
       
   789 
       
   790 session "HOL-Boogie-Examples" in "Boogie/Examples" = "HOL-Boogie" +
       
   791   options [document = false]
       
   792   theories
       
   793     Boogie_Max_Stepwise
       
   794     Boogie_Max
       
   795     Boogie_Dijkstra
       
   796     VCC_Max
       
   797   files
       
   798     "Boogie_Dijkstra.b2i"
   784     "Boogie_Dijkstra.b2i"
   799     "Boogie_Dijkstra.certs"
   785     "Boogie_Dijkstra.certs"
   800     "Boogie_Max.b2i"
   786     "Boogie_Max.b2i"
   801     "Boogie_Max.certs"
   787     "Boogie_Max.certs"
       
   788     "SMT_Examples.certs"
       
   789     "SMT_Word_Examples.certs"
   802     "VCC_Max.b2i"
   790     "VCC_Max.b2i"
   803     "VCC_Max.certs"
   791     "VCC_Max.certs"
   804 
   792 
   805 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
   793 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
   806   options [document = false]
   794   options [document = false]