X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fesempi%2Fprova.cic;h=3f65458d25847666c6f2f96e2ae72383b6266de3;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=6ca06a8620a3b1adc4899ea77a8f7baaa6720fe3;hpb=fde1a6daa3aaa72c5c7536f4d2c65a3873b1c1bc;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