equal
deleted
inserted
replaced
210 WilsonRuss |
210 WilsonRuss |
211 WilsonBij |
211 WilsonBij |
212 Quadratic_Reciprocity |
212 Quadratic_Reciprocity |
213 Primes |
213 Primes |
214 Pocklington |
214 Pocklington |
215 document_files "root.tex" |
215 document_files |
|
216 "root.bib" |
|
217 "root.tex" |
216 |
218 |
217 session "HOL-Hoare" in Hoare = HOL + |
219 session "HOL-Hoare" in Hoare = HOL + |
218 description {* |
220 description {* |
219 Verification of imperative programs (verification conditions are generated |
221 Verification of imperative programs (verification conditions are generated |
220 automatically from pre/post conditions and loop invariants). |
222 automatically from pre/post conditions and loop invariants). |