From e9ef4cb62cda496667507d47686d7e167f83a126 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Mon, 15 Jun 2026 00:01:45 +0200
Subject: relational mu calculus

---
 SymbolicModalLogic.lean | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'SymbolicModalLogic.lean')

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
-- 
cgit v1.3.1