Changeset 2772 for src


Ignore:
Timestamp:
Mar 4, 2013, 9:55:20 AM (7 years ago)
Author:
sacerdot
Message:

Useless code removed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/adt/set_adt.ma

    r2732 r2772  
    55
    66axiom set: Type[0] → Type[0].
    7 
    8 inductive set (elt_type: Type[0]): Type[0] ≝
    9   | empty: set elt_type
    10   | node : nat → set elt_type → elt_type → set elt_type → set elt_type.
    117
    128axiom set_empty: ∀elt_type. set elt_type.
Note: See TracChangeset for help on using the changeset viewer.