]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/tests/test7.ma
...
[helm.git] / helm / matita / tests / test7.ma
1 instance 
2   \lambda A:Set.
3   \lambda r:A \to A \to Prop.
4   \forall x:A.
5    r x x.