changeset 56079 | 175ac95720d4 |
parent 55973 | 471a71017cfc |
child 56215 | fcf90317383d |
--- a/src/HOL/ROOT Thu Mar 13 13:18:13 2014 +0100 +++ b/src/HOL/ROOT Thu Mar 13 13:18:13 2014 +0100 @@ -777,7 +777,8 @@ "Boogie_Dijkstra.certs" "Boogie_Max.certs" "SMT_Examples.certs" - "SMT_Word_Examples.certs" + "SMT_Examples.certs2" + "SMT_Word_Examples.certs2" "VCC_Max.certs" session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +