]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/tests/interactive/test7.ma
- Bug fixed: some assert failure were just failures (when processing terms
[helm.git] / helm / software / matita / tests / interactive / test7.ma
1
2
3 whelp instance 
4   \lambda A:Set.
5   \lambda r:A \to A \to Prop.
6   \forall x:A.
7    r x x.