changeset 17388 | 495c799df31d |
parent 16417 | 9bc16273c2d4 |
child 20807 | bd3b60f9a343 |
--- 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