Add $(COQBIN) to Makefiles
Assymetric Patterns
Avoid name clash
ml reification for trunk
New proof engine compatibility
NPeano -> PeanoNat.Nat
Import Omega