Merge pull request #6 from Barkhausen-Institut/issue-2

Issue 2
Barkhausen-Institut · Jun 12, 2024 · c396ee8 · c396ee8
2 parents 44eae8c + ee0a0fa
commit c396ee8
Show file tree

Hide file tree

Showing 4 changed files with 267 additions and 104 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -3,6 +3,7 @@
 # extension of extructures
 theories/extructurespp/ord.v
 theories/extructurespp/fmap.v
+theories/extructurespp/fset.v
 
 theories/examples/Conversions.v
 theories/examples/Signature.v