changeset 58889 | 5b7a9633cfa8 |
parent 46911 | 6d2a2f0e904e |
child 63146 | f1ecba0272f9 |
--- a/src/HOL/UNITY/Comp/Counterc.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/UNITY/Comp/Counterc.thy Sun Nov 02 18:21:45 2014 +0100 @@ -11,7 +11,7 @@ Spriner LNCS 1586 (1999), pages 1215-1227. *) -header{*A Family of Similar Counters: Version with Compatibility*} +section{*A Family of Similar Counters: Version with Compatibility*} theory Counterc imports "../UNITY_Main" begin