MsgA  Type{i'}

By:	let T0  Complete Auto , let T1  Complete (Analyze -1) , let T2  Complete (Analyze -1 THEN Analyze -1 THEN Reduce 0) in Auto THEN Unfold `msga` 0 THEN Repeat (Analyze THENL [T0 ORELSE (Analyze THEN (T0 ORELSE T1 ORELSE T2));Id]) THEN Try T0

None

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html