changeset 40945 | b8703f63bfb2 |
parent 40774 | 0437dbc127b3 |
child 42151 | 4da4fc77664b |
--- a/src/HOL/HOLCF/IOA/ABP/Correctness.thy Fri Dec 03 20:26:57 2010 +0100 +++ b/src/HOL/HOLCF/IOA/ABP/Correctness.thy Fri Dec 03 20:38:58 2010 +0100 @@ -1,5 +1,5 @@ (* Title: HOLCF/IOA/ABP/Correctness.thy - Author: Olaf Müller + Author: Olaf Müller *) header {* The main correctness proof: System_fin implements System *}