author | wenzelm |
Sat, 27 Jul 2013 16:44:58 +0200 | |
changeset 53871 | 077149654ab4 |
parent 53870 | 98f94010d78d |
child 53872 | 842b5e7dcac8 |
1.1 --- a/src/HOL/SMT_Examples/boogie.ML Sat Jul 27 16:44:40 2013 +0200 1.2 +++ b/src/HOL/SMT_Examples/boogie.ML Sat Jul 27 16:44:58 2013 +0200 1.3 @@ -1,7 +1,7 @@ 1.4 (* Title: HOL/SMT_Examples/boogie.ML 1.5 Author: Sascha Boehme, TU Muenchen 1.6 1.7 -Proving Boogie-generated verficiation conditions. 1.8 +Proving Boogie-generated verification conditions. 1.9 *) 1.10 1.11 signature BOOGIE =