rewrite Directory Reference

Files
	jitty.h
	jitty_jittyc.h
	jittyc.h
	jittycpreamble.h
	match_tree.h
	nfs_array.h
	This is an array in which it is recorded which arguments are normal forms and which are not.
	rewrite_stack.h
	This file contains a rewrite stack that can operate alongside the normal stack. As it is an atermpp container protection of aterm derived data types is guaranteed, without explicitly putting each entry in a protection set. This makes the use of this stack much cheaper than using the processor stack. An additional advantage is that rewriting does not run out of stack space that quickly anymore.
	strategy_rule.h
	with_prover.h
	Rewriting combined with semantic simplification using a prover.