src/ZF/UNITY/Follows.thy

--- a/src/ZF/UNITY/Follows.thy	Sun Nov 02 16:09:35 2014 +0100
+++ b/src/ZF/UNITY/Follows.thy	Sun Nov 02 16:39:54 2014 +0100
@@ -5,7 +5,7 @@
 Theory ported from HOL.
 *)
 
-header{*The "Follows" relation of Charpentier and Sivilotte*}
+section{*The "Follows" relation of Charpentier and Sivilotte*}
 
 theory Follows imports SubstAx Increasing begin