From 21a10d0abc0636a49f12fc066f91270cec4d63d1 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Fri, 12 Oct 2007 16:07:56 +0000 Subject: [PATCH] Fixed baseuri --- helm/software/matita/library/Fsub/part1a.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/library/Fsub/part1a.ma b/helm/software/matita/library/Fsub/part1a.ma index 85027eb79..48543ce18 100644 --- a/helm/software/matita/library/Fsub/part1a.ma +++ b/helm/software/matita/library/Fsub/part1a.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/test/Fsub/part1a/". +set "baseuri" "cic:/matita/Fsub/part1a/". include "Fsub/defn.ma". (*** Lemma A.1 (Reflexivity) ***) -- 2.39.2