FormalizedFormalLogic
diff --git a/‎Foundation.lean‎
Lines changed: 1 addition & 1 deletion b/‎Foundation.lean‎
Lines changed: 1 addition & 1 deletion
@@ -52,7 +52,7 @@ public import Foundation.FirstOrder.Basic.Semantics.Semantics
 public import Foundation.FirstOrder.Basic.Soundness
 public import Foundation.FirstOrder.Basic.Syntax.Formula
 public import Foundation.FirstOrder.Basic.Syntax.Rew
-public import Foundation.FirstOrder.Basic.Syntax.Theory
+public import Foundation.FirstOrder.Basic.Syntax.Schema
 public import Foundation.FirstOrder.Bootstrapping.DerivabilityCondition.D1
 public import Foundation.FirstOrder.Bootstrapping.DerivabilityCondition.D2
 public import Foundation.FirstOrder.Bootstrapping.DerivabilityCondition.D3