--- a/src/HOL/TLA/Memory/ProcedureInterface.thy Fri Oct 05 23:58:17 2001 +0200
+++ b/src/HOL/TLA/Memory/ProcedureInterface.thy Fri Oct 05 23:58:52 2001 +0200
@@ -83,5 +83,3 @@
LegalReturner_def "LegalReturner ch == TEMP (! p. PLegalReturner ch p)"
end
-
-