syntaxAlchemist/ladder-calculus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add Metatheory.v to _CoqProject

Browse source
This commit is contained in:
Michael Sippel 2024-09-20 19:25:32 +02:00
parent 2ae7297da5
commit cafa9808aa
Signed by: senvas
GPG key ID: F96CF119C34B64A6
1 changed files with 1 additions and 0 deletions

1
coq/_CoqProject
View file

@ -4,6 +4,7 @@ ListFacts.v
FiniteSets.v
FSetNotin.v
Atom.v
Metatheory.v
terms.v
terms_debruijn.v
equiv.v