_CoqProject

-R . tutorial

-arg -w -arg -notation-overridden
-arg -w -arg -undo-batch-mode
-arg -w -arg -ambiguous-paths

AnSsreflectTutorial/tutorial_Gonthier_LeRoux.v
AnIntroductionToSmallScaleReflectionInCoq/section3.v
AnIntroductionToSmallScaleReflectionInCoq/section4.v
AnIntroductionToSmallScaleReflectionInCoq/section5.v
AnIntroductionToSmallScaleReflectionInCoq/section6.v
AnIntroductionToSmallScaleReflectionInCoq/section7.v
SummerSchoolSophia/lesson1.v
SummerSchoolSophia/lesson2.v
SummerSchoolSophia/lesson3.v
SummerSchoolSophia/lesson4.v
SummerSchoolSophia/lesson5.v
SummerSchoolSophia/lesson6.v
SummerSchoolSophia/lesson7.v
SummerSchoolSophia/lesson8.v
SummerSchoolSophia/exercise1_solution.v
SummerSchoolSophia/exercise2_solution.v
SummerSchoolSophia/exercise3_solution.v
SummerSchoolSophia/exercise4_solution.v
SummerSchoolSophia/exercise5_solution.v
SummerSchoolSophia/exercise6_solution.v
SummerSchoolSophia/exercise7_solution.v
SummerSchoolSophia/exercise8_solution.v

Ssreflect15min/quesako.v