--- a/src/HOL/MicroJava/MicroJava.thy Mon Oct 04 14:46:48 2010 +0200 +++ b/src/HOL/MicroJava/MicroJava.thy Mon Oct 04 14:46:49 2010 +0200 @@ -12,4 +12,4 @@ "Comp/CorrCompTp" begin -end \ No newline at end of file +end