Skip to content

Commit 5c1cd56

Browse files
proux01proux01
committed
Add Makefile for compat
1 parent 34f2188 commit 5c1cd56

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

‎theories/Make.compat‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
Compat/AdmitAxiom.v
2+
Compat/Stdlib818.v
3+
Compat/Stdlib819.v
4+
Compat/Stdlib820.v
5+
Compat/Stdlib821.v
6+
7+
-Q Compat Stdlib.Compat

0 commit comments

Comments
 (0)