| changeset 58889 | 5b7a9633cfa8 |
| parent 45605 | a89b4bc311a5 |
| child 60773 | d09c66a0ea10 |
--- a/src/HOL/UNITY/SubstAx.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/UNITY/SubstAx.thy Sun Nov 02 18:21:45 2014 +0100 @@ -5,7 +5,7 @@ Weak LeadsTo relation (restricted to the set of reachable states) *) -header{*Weak Progress*} +section{*Weak Progress*} theory SubstAx imports WFair Constrains begin