src/HOLCF/IOA/ABP/Action.ML

--- a/src/HOLCF/IOA/ABP/Action.ML	Tue Mar 28 17:32:24 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-(*  Title:      HOLCF/IOA/ABP/Action.ML
-    ID:         $Id$
-    Author:     Olaf Mueller
-    Copyright   1995  TU Muenchen
-
-Derived rules for actions
-*)
-
-Goal "!!x. x = y ==> action_case a b c d e f g x =     \
-\                               action_case a b c d e f g y";
-by (Asm_simp_tac 1);
-
-Addcongs [result()];