Changeset 2773 for extracted/setoids.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/setoids.ml

    r2601 r2773  
    4848type std_supp = __
    4949
    50 type std_eq = __
    51 
    5250(** val setoid_inv_rect_Type4 :
    5351    setoid -> (__ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1 **)
Note: See TracChangeset for help on using the changeset viewer.