--- a/src/HOL/HoareParallel/Gar_Coll.thy Thu Oct 03 09:54:54 2002 +0200
+++ b/src/HOL/HoareParallel/Gar_Coll.thy Thu Oct 03 10:34:51 2002 +0200
@@ -3,6 +3,8 @@
theory Gar_Coll = Graph + OG_Syntax:
+declare psubsetE [rule del]
+
text {* Declaration of variables: *}
record gar_coll_state =