]> matita.cs.unibo.it Git - helm.git/blob - matita/tests/interactive/test6.ma
Two tests used to have the same baseuri. Very bad.
[helm.git] / matita / tests / interactive / test6.ma
1 set "baseuri" "cic:/matita/tests/interactive/test6/".
2
3 whelp instance 
4   \lambda A:Set.
5   \lambda f:A \to A \to A.
6   \forall x,y,z:A.
7    f x (f y z) = f (f x y) z.