# HG changeset patch
# User oheimb
# Date 893172028 -7200
# Node ID 14cea5b1d12f33981e56fe87f35e10a389d2c2bf
# Parent  d65372e425e5adfbee5d7720f669cbbf0f4b20be
layout improvement

diff -r d65372e425e5 -r 14cea5b1d12f src/HOLCF/IOA/meta_theory/CompoTraces.ML
--- a/src/HOLCF/IOA/meta_theory/CompoTraces.ML	Tue Apr 21 10:49:15 1998 +0200
+++ b/src/HOLCF/IOA/meta_theory/CompoTraces.ML	Tue Apr 21 17:20:28 1998 +0200
@@ -729,9 +729,7 @@
 by (Asm_simp_tac 1);
 (* first side: mksch = UU *)
 by (SELECT_GOAL (auto_tac (claset() addSIs [ForallQFilterPUU,
-                                           (finiteR_mksch RS mp COMP rev_contrapos),
-                                            ForallBnAmksch],
-                           simpset())) 1);
+        (finiteR_mksch RS mp COMP rev_contrapos),ForallBnAmksch],simpset())) 1);
 (* schA = UU *)
 by (eres_inst_tac [("A","A")] LastActExtimplUU 1);
 by (Asm_simp_tac 1);