Start on basic
Start progress on Basics
Finished basics
Wip on induction
Merge branch 'master' of ssh://github.com/tismith/sf

Conflicts:
	Induction.v