src/HOL/ex/CTL.thy

--- a/src/HOL/ex/CTL.thy	Wed Sep 14 22:04:38 2005 +0200
+++ b/src/HOL/ex/CTL.thy	Wed Sep 14 22:08:08 2005 +0200
@@ -1,4 +1,3 @@
-
 (*  Title:      HOL/ex/CTL.thy
     ID:         $Id$
     Author:     Gertrud Bauer
@@ -8,8 +7,6 @@
 
 theory CTL imports Main begin
 
-
-
 text {*
   We formalize basic concepts of Computational Tree Logic (CTL)
   \cite{McMillan-PhDThesis,McMillan-LectureNotes} within the