src/HOLCF/IOA/meta_theory/CompoScheds.thy

 par_scheds_def
   "par_scheds SchedsA SchedsB == 
        let schA = fst SchedsA; sigA = snd SchedsA; 
            schB = fst SchedsB; sigB = snd SchedsB       
        in
-       (    {sch. Filter (%a.a:actions sigA)`sch : schA}
-        Int {sch. Filter (%a.a:actions sigB)`sch : schB}
+       (    {sch. Filter (%a. a:actions sigA)`sch : schA}
+        Int {sch. Filter (%a. a:actions sigB)`sch : schB}
         Int {sch. Forall (%x. x:(actions sigA Un actions sigB)) sch},
         asig_comp sigA sigB)"
 
 end