Case c1 t1 vs c2 t2 where c1 and c2 are not splitted and t1 and t2

[helm.git] / helm / software / matita / tests / interactive / test7.ma

whelp instance 
  \lambda A:Set.
  \lambda r:A \to A \to Prop.
  \forall x:A.
   r x x.