From 14e3a659d06551bb2ca7947310a270987d23a9d5 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Fri, 12 Oct 2007 16:07:56 +0000 Subject: [PATCH] Fixed baseuri --- matita/library/Fsub/part1a.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/library/Fsub/part1a.ma b/matita/library/Fsub/part1a.ma index 85027eb79..48543ce18 100644 --- a/matita/library/Fsub/part1a.ma +++ b/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