Skip to content

Commit 274c80d

Browse files
SnO2WMaNSnO2WMaN
committed
rename and move
1 parent 1bb66aa commit 274c80d

44 files changed

Lines changed: 114 additions & 114 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎ModalNeighborhood.lean‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
module -- shake: keep-all
2+
3+
public import ModalNeighborhood.Semantics.AxiomC
4+
public import ModalNeighborhood.Semantics.AxiomGeach
5+
public import ModalNeighborhood.Semantics.AxiomK
6+
public import ModalNeighborhood.Semantics.AxiomM
7+
public import ModalNeighborhood.Semantics.AxiomN
8+
public import ModalNeighborhood.Semantics.AxiomP
9+
public import ModalNeighborhood.Semantics.Basic
10+
public import ModalNeighborhood.Semantics.Completeness
11+
public import ModalNeighborhood.Semantics.Filtration
12+
public import ModalNeighborhood.Semantics.Hilbert
13+
public import ModalNeighborhood.Semantics.IntersectionClosure
14+
public import ModalNeighborhood.Semantics.Logic.E
15+
public import ModalNeighborhood.Semantics.Logic.E4
16+
public import ModalNeighborhood.Semantics.Logic.E5
17+
public import ModalNeighborhood.Semantics.Logic.EB
18+
public import ModalNeighborhood.Semantics.Logic.EC
19+
public import ModalNeighborhood.Semantics.Logic.ECN
20+
public import ModalNeighborhood.Semantics.Logic.ED
21+
public import ModalNeighborhood.Semantics.Logic.EK
22+
public import ModalNeighborhood.Semantics.Logic.EM
23+
public import ModalNeighborhood.Semantics.Logic.EMC
24+
public import ModalNeighborhood.Semantics.Logic.EMC4
25+
public import ModalNeighborhood.Semantics.Logic.EMCN
26+
public import ModalNeighborhood.Semantics.Logic.EMCN4
27+
public import ModalNeighborhood.Semantics.Logic.EMK
28+
public import ModalNeighborhood.Semantics.Logic.EMN
29+
public import ModalNeighborhood.Semantics.Logic.EMNT4
30+
public import ModalNeighborhood.Semantics.Logic.EMT
31+
public import ModalNeighborhood.Semantics.Logic.EMT4
32+
public import ModalNeighborhood.Semantics.Logic.EN
33+
public import ModalNeighborhood.Semantics.Logic.EN4
34+
public import ModalNeighborhood.Semantics.Logic.END
35+
public import ModalNeighborhood.Semantics.Logic.END4
36+
public import ModalNeighborhood.Semantics.Logic.ENT4
37+
public import ModalNeighborhood.Semantics.Logic.EP
38+
public import ModalNeighborhood.Semantics.Logic.ET
39+
public import ModalNeighborhood.Semantics.Logic.ET4
40+
public import ModalNeighborhood.Semantics.Logic.ET5
41+
public import ModalNeighborhood.Semantics.Logic.ETB
42+
public import ModalNeighborhood.Semantics.Logic.Incomparability.ED_EP
43+
public import ModalNeighborhood.Semantics.Supplementation

Neighborhood/AxiomC.lean renamed to ModalNeighborhood/Semantics/AxiomC.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
module
22

3-
public import Foundation.Modal.Neighborhood.Completeness
3+
public import ModalNeighborhood.Semantics.Completeness
44

55
@[expose] public section
66

Neighborhood/AxiomGeach.lean renamed to ModalNeighborhood/Semantics/AxiomGeach.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
module
22

3-
public import Foundation.Modal.Neighborhood.Completeness
3+
public import ModalNeighborhood.Semantics.Completeness
44
public import Foundation.Modal.Entailment.AxiomGeach
55

66
@[expose] public section

Neighborhood/AxiomK.lean renamed to ModalNeighborhood/Semantics/AxiomK.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
module
22

3-
public import Foundation.Modal.Neighborhood.Basic
3+
public import ModalNeighborhood.Semantics.Basic
44

55
@[expose] public section
66

Neighborhood/AxiomM.lean renamed to ModalNeighborhood/Semantics/AxiomM.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
module
22

3-
public import Foundation.Modal.Neighborhood.Basic
3+
public import ModalNeighborhood.Semantics.Basic
44

55
@[expose] public section
66

Neighborhood/AxiomN.lean renamed to ModalNeighborhood/Semantics/AxiomN.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
module
22

3-
public import Foundation.Modal.Neighborhood.Completeness
3+
public import ModalNeighborhood.Semantics.Completeness
44
public import Foundation.Modal.Entailment.EN
55

66
@[expose] public section

Neighborhood/AxiomP.lean renamed to ModalNeighborhood/Semantics/AxiomP.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
module
22

3-
public import Foundation.Modal.Neighborhood.Basic
3+
public import ModalNeighborhood.Semantics.Basic
44

55
@[expose] public section
66

Neighborhood/Basic.lean renamed to ModalNeighborhood/Semantics/Basic.lean

File renamed without changes.

Neighborhood/Completeness.lean renamed to ModalNeighborhood/Semantics/Completeness.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
module
22

33
public import Foundation.Modal.MaximalConsistentSet
4-
public import Foundation.Modal.Neighborhood.Basic
4+
public import ModalNeighborhood.Semantics.Basic
55
public import Foundation.Modal.Entailment.EM
66

77
@[expose] public section

Neighborhood/Filtration.lean renamed to ModalNeighborhood/Semantics/Filtration.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
module
22

3-
public import Foundation.Modal.Neighborhood.IntersectionClosure
3+
public import ModalNeighborhood.Semantics.IntersectionClosure
44

55
@[expose] public section
66

0 commit comments

Comments
 (0)