merge logic.v into mappings.v and rename erasing.lp into mappings.lp (#1

)
Deducteam · Jan 15, 2025 · 79730a1 · 79730a1
1 parent 2c108e1
commit 79730a1
Show file tree

Hide file tree

Showing 8 changed files with 630 additions and 629 deletions.
diff --git a/CONFIG b/CONFIG
@@ -1,2 +1,2 @@
 #!/bin/sh
-hol2dk config hol_upto_real.ml HOLLight_Real_With_N logic.v mappings.v BinNat deps.mk erasing.lp
+hol2dk config hol_upto_real.ml HOLLight_Real_With_N mappings.v BinNat deps.mk mappings.lp