inital commit

Author: sven--

.depend

@@ -0,0 +1,29 @@
+Symbols.vo Symbols.glob Symbols.v.beautified: Symbols.v
+Preface.vo Preface.glob Preface.v.beautified: Preface.v
+Basics.vo Basics.glob Basics.v.beautified: Basics.v
+Induction.vo Induction.glob Induction.v.beautified: Induction.v
+Lists.vo Lists.glob Lists.v.beautified: Lists.v
+Poly.vo Poly.glob Poly.v.beautified: Poly.v
+MoreCoq.vo MoreCoq.glob MoreCoq.v.beautified: MoreCoq.v
+Logic.vo Logic.glob Logic.v.beautified: Logic.v
+Prop.vo Prop.glob Prop.v.beautified: Prop.v
+MoreLogic.vo MoreLogic.glob MoreLogic.v.beautified: MoreLogic.v
+ProofObjects.vo ProofObjects.glob ProofObjects.v.beautified: ProofObjects.v
+MoreInd.vo MoreInd.glob MoreInd.v.beautified: MoreInd.v
+Review1.vo Review1.glob Review1.v.beautified: Review1.v
+SfLib.vo SfLib.glob SfLib.v.beautified: SfLib.v
+Imp.vo Imp.glob Imp.v.beautified: Imp.v
+ImpParser.vo ImpParser.glob ImpParser.v.beautified: ImpParser.v
+ImpCEvalFun.vo ImpCEvalFun.glob ImpCEvalFun.v.beautified: ImpCEvalFun.v
+Extraction.vo Extraction.glob Extraction.v.beautified: Extraction.v
+Equiv.vo Equiv.glob Equiv.v.beautified: Equiv.v
+Hoare.vo Hoare.glob Hoare.v.beautified: Hoare.v
+Hoare2.vo Hoare2.glob Hoare2.v.beautified: Hoare2.v
+Smallstep.vo Smallstep.glob Smallstep.v.beautified: Smallstep.v
+Review2.vo Review2.glob Review2.v.beautified: Review2.v
+Auto.vo Auto.glob Auto.v.beautified: Auto.v
+Types.vo Types.glob Types.v.beautified: Types.v
+Stlc.vo Stlc.glob Stlc.v.beautified: Stlc.v
+StlcProp.vo StlcProp.glob StlcProp.v.beautified: StlcProp.v
+MoreStlc.vo MoreStlc.glob MoreStlc.v.beautified: MoreStlc.v
+Sub.vo Sub.glob Sub.v.beautified: Sub.v