helm/matita/tests/test_instance.ma

   1 instance \lambda A:Set.\lambda P:A \to A \to Prop.\forall x:A. P x x.
   2 instance \lambda A:Set.\lambda P:A \to A \to Prop.\forall x,y:A. P x y \to P y x.
   3 instance \lambda A:Set.\lambda P:A \to A \to Prop.\forall x,y,z:A. P x y \to P y z \to P y z.
   4 instance \lambda A:Set.\lambda f:A \to A \to A. \forall x,y:A. f x y = f  y x.