Changeset 2773 for extracted/setoids.ml
- Timestamp:
- Mar 4, 2013, 10:03:33 AM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/setoids.ml
r2601 r2773 48 48 type std_supp = __ 49 49 50 type std_eq = __51 52 50 (** val setoid_inv_rect_Type4 : 53 51 setoid -> (__ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1 **)
Note: See TracChangeset
for help on using the changeset viewer.