--- a/src/HOLCF/IOA/ABP/Correctness.thy Wed Feb 17 09:22:40 2010 -0800 +++ b/src/HOLCF/IOA/ABP/Correctness.thy Wed Feb 17 10:00:22 2010 -0800 @@ -1,5 +1,4 @@ (* Title: HOLCF/IOA/ABP/Correctness.thy - ID: $Id$ Author: Olaf Müller *)