Errors and Warnings Index

a | d | m | n | o | p | r | u

	a
	Argument of cs should match a boolean
	Assumption not over valid system
	d
	Did not find any conditional to analyze
	m
	max nested rewriting reached
	n
	Not dependent
	nothing to rewrite
	o
	Out of range position
	p
	Proof is not complete
	r
	rule bad systems
	u
	Unequal arguments