From 1c8dc74bf532708b68948e8a1afa73b2fa788718 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 18 Jul 2006 13:58:13 +0000 Subject: [PATCH] Baseuri of applys.ma fixed. --- helm/software/matita/tests/applys.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/tests/applys.ma b/helm/software/matita/tests/applys.ma index 74573177f..d9cbc9098 100644 --- a/helm/software/matita/tests/applys.ma +++ b/helm/software/matita/tests/applys.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/test/". +set "baseuri" "cic:/matita/test/applys". include "nat/div_and_mod.ma". include "nat/factorial.ma". -- 2.39.2