| changeset 58889 | 5b7a9633cfa8 |
| parent 56166 | 9a241bc276cd |
| child 59807 | 22bc39064290 |
--- a/src/HOL/UNITY/ProgressSets.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/UNITY/ProgressSets.thy Sun Nov 02 18:21:45 2014 +0100 @@ -13,7 +13,7 @@ Swiss Federal Institute of Technology Zurich (1997) *) -header{*Progress Sets*} +section{*Progress Sets*} theory ProgressSets imports Transformers begin