src/HOL/TLA/Action.thy

--- a/src/HOL/TLA/Action.thy	Fri Oct 05 23:58:17 2001 +0200
+++ b/src/HOL/TLA/Action.thy	Fri Oct 05 23:58:52 2001 +0200
@@ -71,5 +71,3 @@
 
   enabled_def   "s |= Enabled A  ==  EX u. (s,u) |= A"
 end
-
-