From 98ab16b810cc5414e00d8f1f672865868791d8b6 Mon Sep 17 00:00:00 2001 From: nmvdw Date: Fri, 6 Jun 2025 09:13:28 +0200 Subject: [PATCH] just a test --- Modules/Signatures/BindingSig.v | 1 - 1 file changed, 1 deletion(-) diff --git a/Modules/Signatures/BindingSig.v b/Modules/Signatures/BindingSig.v index 73ee944..0218744 100644 --- a/Modules/Signatures/BindingSig.v +++ b/Modules/Signatures/BindingSig.v @@ -22,7 +22,6 @@ Require Import UniMath.Foundations.PartD. Require Import UniMath.Foundations.Propositions. Require Import UniMath.Foundations.Sets. Require Import UniMath.CategoryTheory.Limits.BinCoproducts. -(* Require Import UniMath.SubstitutionSystems.FromBindingSigsToMonads_Summary. *) Require Import UniMath.SubstitutionSystems.BindingSigToMonad. Require Import UniMath.SubstitutionSystems.Signatures. Require Import UniMath.CategoryTheory.Core.Prelude.