changeset 58889 | 5b7a9633cfa8 |
parent 46577 | e5438c5797ae |
child 59807 | 22bc39064290 |
--- a/src/HOL/UNITY/Guar.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/UNITY/Guar.thy Sun Nov 02 18:21:45 2014 +0100 @@ -10,7 +10,7 @@ Fifth International Conference on Mathematics of Program, 2000. *) -header{*Guarantees Specifications*} +section{*Guarantees Specifications*} theory Guar imports Comp