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

   1 let true_rec =
   2 (function p -> p)
   3 ;;
   4
   5 let true_rect =
   6 (function p -> p)
   7 ;;
   8
   9 let false_rec () =
  10 assert false
  11 ;;
  12
  13 let false_rect () =
  14 assert false
  15 ;;
  16
  17 let and_rec =
  18 (function f -> (f))
  19 ;;
  20
  21 let and_rect =
  22 (function f -> (f))
  23 ;;
  24