From f8b2f5190e33f3d1694442a6be32cba97fcef004 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Thu, 23 Oct 2025 23:41:16 +0200
Subject: basic structure for name abstraction

---
 Nominal.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Nominal.lean')

diff --git a/Nominal.lean b/Nominal.lean
index d37a60a..b2aa0ad 100644
--- a/Nominal.lean
+++ b/Nominal.lean
@@ -3,3 +3,4 @@ import Nominal.Support
 import Nominal.Equivariance
 import Nominal.Category
 import Nominal.Instances.Basic
+import Nominal.Instances.Abstraction
-- 
cgit v1.3.1