SubsetTypes_template

This commit is contained in:
Adam Chlipala 2017-03-22 09:15:22 -04:00
parent e9e8e6b92b
commit 31b0b6e9e5

View file

@ -33,6 +33,7 @@ AbstractInterpretation.v
CompilerCorrectness.v
CompilerCorrectness_template.v
SubsetTypes.v
SubsetTypes_template.v
LambdaCalculusAndTypeSoundness_template.v
LambdaCalculusAndTypeSoundness.v
TypesAndMutation.v