1.93/1.29	MAYBE
1.93/1.29	
1.93/1.29	Proof:
1.93/1.29	ConCon could not decide confluence of the system.
1.93/1.29	Inlined conditions in System R.
1.93/1.29	
1.93/1.31	EOF