From e3d3e20dfea253de291d5b31059cd55c0eaabf02 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 11 May 2026 23:10:27 -0300
Subject: Multigroup unified reference for hierarchical access

---
 proof/Schema.v | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 proof/Schema.v

(limited to 'proof/Schema.v')

diff --git a/proof/Schema.v b/proof/Schema.v
deleted file mode 100644
index eb8f4c5..0000000
--- a/proof/Schema.v
+++ /dev/null
@@ -1,5 +0,0 @@
-(** * Schema: attribute name type *)
-
-From Stdlib Require Import String.
-
-Definition attr_name := string.
-- 
cgit v1.2.3