update

Author: iehality

Incompleteness.lean

@@ -1,8 +1,9 @@
-import Incompleteness.DC.Basic
 import Incompleteness.Arith.FormalizedArithmetic
 import Incompleteness.Arith.Theory
 import Incompleteness.Arith.D1
 import Incompleteness.Arith.D3
 import Incompleteness.Arith.First
 import Incompleteness.Arith.Second
 import Incompleteness.Arith.DC
+import Incompleteness.DC.Basic
+import Incompleteness.Modal.Basic

Incompleteness/ModalLogic/Basic.lean renamed to Incompleteness/Modal/Basic.lean

@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "41ecee31d573798ea47f005189841c76041090b5",
+   "rev": "b090504b6c2ac5f36060662a91d8230ea421946d",
    "name": "logic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "7604a3e98bbfe30cdff677c5f16f4b1d0eab2f17",
+   "rev": "2406be6bc8f37bc92373d5f9534dbb79218bc2cb",
    "name": "arithmetization",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",