# HG changeset patch
# User wenzelm
# Date 1160353211 -7200
# Node ID b9068bd7255caa18bcbcedae8759194b826c53a7
# Parent  803c94363ccc22e9589cb4cfb71e34749cb38a8b
sequential lemmas;

diff -r 803c94363ccc -r b9068bd7255c src/HOLCF/IOA/ABP/Correctness.thy
--- a/src/HOLCF/IOA/ABP/Correctness.thy	Mon Oct 09 02:20:10 2006 +0200
+++ b/src/HOLCF/IOA/ABP/Correctness.thy	Mon Oct 09 02:20:11 2006 +0200
@@ -61,7 +61,7 @@
 declare Let_def [simp] ioa_triple_proj [simp] starts_of_par [simp]
 
 lemmas env_ioas = env_ioa_def env_asig_def env_trans_def
-  and hom_ioas [simp] = env_ioas impl_ioas impl_trans impl_asigs asig_projections set_lemmas
+lemmas hom_ioas [simp] = env_ioas impl_ioas impl_trans impl_asigs asig_projections set_lemmas
 
 
 subsection {* lemmas about reduce *}