Import SF v3
Force manual merges
Merge tag 'v3'

Conflicts:
	Basics.v
	Induction.v
	Lists.v
	MoreCoq.v
	Poly.v
	Prop.v
	imp.ml