Changeset 2773 for extracted/types.ml


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/types.ml

    r2601 r2773  
    429429  (let { fst = a; snd = b } = clearme in (fun _ -> { fst = a; snd = b })) __
    430430
     431(** val dpi1__o__coerc_pair_sigma :
     432    (('a1, 'a2) prod, 'a3) dPair -> ('a1, 'a2 sig0) prod **)
     433let dpi1__o__coerc_pair_sigma x4 =
     434  coerc_pair_sigma x4.dpi1
     435
Note: See TracChangeset for help on using the changeset viewer.