X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2Finteractive%2Ftest5.ma;h=8f36be28840f707277c622529e8d8488fadd6b7b;hb=b6afef7e73324824025a6d7f313129d55b72cfc6;hp=e48cc827edf53746995597c70f135324e6bcb23a;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git diff --git a/helm/software/matita/tests/interactive/test5.ma b/helm/software/matita/tests/interactive/test5.ma index e48cc827e..8f36be288 100644 --- a/helm/software/matita/tests/interactive/test5.ma +++ b/helm/software/matita/tests/interactive/test5.ma @@ -1,4 +1,4 @@ -set "baseuri" "cic:/matita/tests/interactive/test5/". + whelp instance \lambda A:Set.