sound equality function for ptrees
boolean equality function for types
back to decidable equality :(
Soundness Proof progress
up to date with mirror-core and MirrorCharge
Added files with soundness proofs
regenerated the makefile
soundness progress
Merge branch 'master' of github.com:PrincetonUniversity/VST

Conflicts:
	mc_reify/func_eq.v
Merge branch 'master' of github.com:PrincetonUniversity/VST