From 089bc0fa6a22a163651f417f7f02db822ab0b70c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 15 Nov 2006 13:03:37 +0000 Subject: [PATCH] fixed base uri --- matita/library/nat/relevant_equations.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/library/nat/relevant_equations.ma b/matita/library/nat/relevant_equations.ma index af8f68d5b..9e275aa9c 100644 --- a/matita/library/nat/relevant_equations.ma +++ b/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