From e56efc19f71898d798c44b5955fe74451ee0fc6f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 12 Jul 2026 10:07:23 -0300
Subject: lexicographic order proven well founded, checker extracted and
 verifying admission

---
 theories/Decrease.vos | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 theories/Decrease.vos

(limited to 'theories/Decrease.vos')

diff --git a/theories/Decrease.vos b/theories/Decrease.vos
deleted file mode 100644
index e69de29..0000000
-- 
cgit v1.2.3