equal
deleted
inserted
replaced
775 SMT_Tests |
775 SMT_Tests |
776 files |
776 files |
777 "Boogie_Dijkstra.certs" |
777 "Boogie_Dijkstra.certs" |
778 "Boogie_Max.certs" |
778 "Boogie_Max.certs" |
779 "SMT_Examples.certs" |
779 "SMT_Examples.certs" |
780 "SMT_Word_Examples.certs" |
780 "SMT_Examples.certs2" |
|
781 "SMT_Word_Examples.certs2" |
781 "VCC_Max.certs" |
782 "VCC_Max.certs" |
782 |
783 |
783 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" + |
784 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" + |
784 options [document = false] |
785 options [document = false] |
785 theories SPARK |
786 theories SPARK |