-set "baseuri" "cic:/matita/tests/".
+set "baseuri" "cic:/matita/tests/rewrite/".
alias id "nat" = "cic:/Coq/Init/Datatypes/nat.ind#xpointer(1/1)".
alias num (instance 0) = "natural number".
rewrite < H in \vdash (? ? % ?).
-simplify in \vdash (? ? ? ((\lambda x.((\lambda y.%) ?)) ?)).
+simplify in \vdash (? ? ? ((\lambda _.((\lambda _.%) ?)) ?)).
rewrite < H in \vdash (? ? ? (% ?)).
simplify.