changeset 57421 | 175ac95720d4 |
parent 57315 | 471a71017cfc |
child 57557 | fcf90317383d |
1.1 --- a/src/HOL/ROOT Thu Mar 13 13:18:13 2014 +0100 1.2 +++ b/src/HOL/ROOT Thu Mar 13 13:18:13 2014 +0100 1.3 @@ -777,7 +777,8 @@ 1.4 "Boogie_Dijkstra.certs" 1.5 "Boogie_Max.certs" 1.6 "SMT_Examples.certs" 1.7 - "SMT_Word_Examples.certs" 1.8 + "SMT_Examples.certs2" 1.9 + "SMT_Word_Examples.certs2" 1.10 "VCC_Max.certs" 1.11 1.12 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +