From 18a895438260a82a83608c14f1ab99870962ba26 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 15 Nov 2006 13:03:37 +0000 Subject: [PATCH] fixed base uri --- helm/software/matita/library/nat/relevant_equations.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/library/nat/relevant_equations.ma b/helm/software/matita/library/nat/relevant_equations.ma index af8f68d5b..9e275aa9c 100644 --- a/helm/software/matita/library/nat/relevant_equations.ma +++ b/helm/software/matita/library/nat/relevant_equations.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/nat/relevant_equations.ma". +set "baseuri" "cic:/matita/nat/relevant_equations". include "nat/times.ma". include "nat/minus.ma". -- 2.39.2