matita/contribs/assembly/freescale/freescale_ocaml/matita_logic_equality.ml

   1 let eq_rec =
   2 (function a -> (function p -> (function a1 -> p)))
   3 ;;
   4
   5 let eq_rect =
   6 (function a -> (function p -> (function a1 -> p)))
   7 ;;
   8
   9 let eq_rect' =
  10 (function x -> (function p -> (function y -> p)))
  11 ;;
  12
  13 let eq_elim_r' =
  14 (function x -> (function p -> (function y -> p)))
  15 ;;
  16
  17 let eq_elim_r'' =
  18 (function x -> (function p -> (function y -> p)))
  19 ;;
  20