Skip to content

Commit

Permalink
Add Makefile for compat
Browse files Browse the repository at this point in the history
  • Loading branch information
@proux01
proux01 committed Oct 2, 2024
1 parent d6917b3 commit d0246d8
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions theories/Make.compat
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
Compat/AdmitAxiom.v
Compat/Stdlib818.v
Compat/Stdlib819.v
Compat/Stdlib820.v
Compat/Stdlib821.v

-Q Compat Stdlib.Compat

0 comments on commit d0246d8

Please sign in to comment.