# HG changeset patch
# User nipkow
# Date 761408235 -3600
# Node ID d773733dfc746462a949c930625dcdf5484feebf
# Parent  d506ea00c8257dbef38b3459fecd9ab7dd8be203
minor update because HOL-lemma changed

diff -r d506ea00c825 -r d773733dfc74 src/HOLCF/Fix.ML
--- a/src/HOLCF/Fix.ML	Wed Feb 16 13:56:20 1994 +0100
+++ b/src/HOLCF/Fix.ML	Wed Feb 16 15:17:15 1994 +0100
@@ -881,7 +881,7 @@
 	(rtac iffI 1),
 	(etac FalseE 2),
 	(rtac notE 1),
-	(etac (less_not_sym RS mp) 1),	
+	(etac less_not_sym 1),	
 	(atac 1),
 	(asm_simp_tac Cfun_ss  1),
 	(etac (is_chainE RS spec) 1),
@@ -921,7 +921,7 @@
 	(rtac iffI 1),
 	(etac FalseE 2),
 	(rtac notE 1),
-	(etac (less_not_sym RS mp) 1),	
+	(etac less_not_sym 1),	
 	(atac 1),
 	(asm_simp_tac nat_ss 1),
 	(dtac spec 1),
diff -r d506ea00c825 -r d773733dfc74 src/HOLCF/fix.ML
--- a/src/HOLCF/fix.ML	Wed Feb 16 13:56:20 1994 +0100
+++ b/src/HOLCF/fix.ML	Wed Feb 16 15:17:15 1994 +0100
@@ -881,7 +881,7 @@
 	(rtac iffI 1),
 	(etac FalseE 2),
 	(rtac notE 1),
-	(etac (less_not_sym RS mp) 1),	
+	(etac less_not_sym 1),	
 	(atac 1),
 	(asm_simp_tac Cfun_ss  1),
 	(etac (is_chainE RS spec) 1),
@@ -921,7 +921,7 @@
 	(rtac iffI 1),
 	(etac FalseE 2),
 	(rtac notE 1),
-	(etac (less_not_sym RS mp) 1),	
+	(etac less_not_sym 1),	
 	(atac 1),
 	(asm_simp_tac nat_ss 1),
 	(dtac spec 1),