Strip trailing spaces
Add $(COQBIN) to Makefiles
Asymmetric Patterns
Avoid name clash
ml reification for trunk
New proof engine compatibility
NPeano -> PeanoNat.Nat
Import Omega
Beggining of Require Import Omega in each module omega is used
You cannot implicitly used cleared variable anymore
alpha renaiming and consequence of tactics improvements
Minor changes