diff options
Diffstat (limited to 'SymbolicModalLogic.lean')
| -rw-r--r-- | SymbolicModalLogic.lean | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/SymbolicModalLogic.lean b/SymbolicModalLogic.lean index e69de29..5fbdbe6 100644 --- a/SymbolicModalLogic.lean +++ b/SymbolicModalLogic.lean @@ -0,0 +1,2 @@ +import SymbolicModalLogic.MuCalculus +import SymbolicModalLogic.Instances.Relational |