-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathModalNeighborhood.lean
More file actions
43 lines (42 loc) · 2.12 KB
/
Copy pathModalNeighborhood.lean
File metadata and controls
43 lines (42 loc) · 2.12 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
module -- shake: keep-all
public import ModalNeighborhood.Semantics.AxiomC
public import ModalNeighborhood.Semantics.AxiomGeach
public import ModalNeighborhood.Semantics.AxiomK
public import ModalNeighborhood.Semantics.AxiomM
public import ModalNeighborhood.Semantics.AxiomN
public import ModalNeighborhood.Semantics.AxiomP
public import ModalNeighborhood.Semantics.Basic
public import ModalNeighborhood.Semantics.Completeness
public import ModalNeighborhood.Semantics.Filtration
public import ModalNeighborhood.Semantics.Hilbert
public import ModalNeighborhood.Semantics.IntersectionClosure
public import ModalNeighborhood.Semantics.Logic.E
public import ModalNeighborhood.Semantics.Logic.E4
public import ModalNeighborhood.Semantics.Logic.E5
public import ModalNeighborhood.Semantics.Logic.EB
public import ModalNeighborhood.Semantics.Logic.EC
public import ModalNeighborhood.Semantics.Logic.ECN
public import ModalNeighborhood.Semantics.Logic.ED
public import ModalNeighborhood.Semantics.Logic.EK
public import ModalNeighborhood.Semantics.Logic.EM
public import ModalNeighborhood.Semantics.Logic.EMC
public import ModalNeighborhood.Semantics.Logic.EMC4
public import ModalNeighborhood.Semantics.Logic.EMCN
public import ModalNeighborhood.Semantics.Logic.EMCN4
public import ModalNeighborhood.Semantics.Logic.EMK
public import ModalNeighborhood.Semantics.Logic.EMN
public import ModalNeighborhood.Semantics.Logic.EMNT4
public import ModalNeighborhood.Semantics.Logic.EMT
public import ModalNeighborhood.Semantics.Logic.EMT4
public import ModalNeighborhood.Semantics.Logic.EN
public import ModalNeighborhood.Semantics.Logic.EN4
public import ModalNeighborhood.Semantics.Logic.END
public import ModalNeighborhood.Semantics.Logic.END4
public import ModalNeighborhood.Semantics.Logic.ENT4
public import ModalNeighborhood.Semantics.Logic.EP
public import ModalNeighborhood.Semantics.Logic.ET
public import ModalNeighborhood.Semantics.Logic.ET4
public import ModalNeighborhood.Semantics.Logic.ET5
public import ModalNeighborhood.Semantics.Logic.ETB
public import ModalNeighborhood.Semantics.Logic.Incomparability.ED_EP
public import ModalNeighborhood.Semantics.Supplementation