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