X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fesempi%2Fprova.cic;h=3f65458d25847666c6f2f96e2ae72383b6266de3;hb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;hp=6ca06a8620a3b1adc4899ea77a8f7baaa6720fe3;hpb=2dc0733271cd251aaa3edaece8a883fe691775ab;p=helm.git

diff --git a/helm/gTopLevel/esempi/prova.cic b/helm/gTopLevel/esempi/prova.cic
index 6ca06a862..3f65458d2 100644
--- a/helm/gTopLevel/esempi/prova.cic
+++ b/helm/gTopLevel/esempi/prova.cic
@@ -1,4 +1,4 @@
-alias eq   /Coq/Init/Logic/Equality/eq.ind#1/1
+alias eq   /Coq/Init/Logic/eq.ind#1/1
 alias nat  /Coq/Init/Datatypes/nat.ind#1/1
 alias O    /Coq/Init/Datatypes/nat.ind#1/1/1
 alias S    /Coq/Init/Datatypes/nat.ind#1/1/2