]> matita.cs.unibo.it Git - helm.git/commitdiff
baseuri for group.ma fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 14:33:50 +0000 (14:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 14:33:50 +0000 (14:33 +0000)
matita/tests/paramodulation/group.ma

index a9a55b9cf6ddacb1ab0da7ae89c33e65a5f38530..fc2ff14ce043ed551fef203fba84d714e37581e2 100644 (file)
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/test/".
+set "baseuri" "cic:/matita/test/paramodulation/group".
 
 include "legacy/coq.ma".