--- a/src/HOLCF/IOA/meta_theory/CompoScheds.ML Thu Nov 26 12:18:51 1998 +0100
+++ b/src/HOLCF/IOA/meta_theory/CompoScheds.ML Thu Nov 26 16:37:56 1998 +0100
@@ -179,7 +179,7 @@
(* Schedules of A||B have only A- or B-actions *)
(* --------------------------------------------------------------------- *)
-(* FIX: very similar to lemma_1_1c, but it is not checking if every action element of
+(* very similar to lemma_1_1c, but it is not checking if every action element of
an ex is in A or B, but after projecting it onto the action schedule. Of course, this
is the same proposition, but we cannot change this one, when then rather lemma_1_1c *)