Changeset 2673 for src/common


Ignore:
Timestamp:
Feb 18, 2013, 1:18:02 PM (7 years ago)
Author:
tranquil
Message:

corrected some compilation errors (that might depend on some matita update)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/PositiveMap.ma

    r2599 r2673  
    22include "utilities/binary/positive.ma".
    33include "ASM/Util.ma". (* bool_to_Prop *)
     4include "utilities/option.ma".
    45
    56inductive positive_map (A:Type[0]) : Type[0] ≝
     
    419420  ]
    420421] qed.
    421 
    422 include "utilities/option.ma".
    423422
    424423definition is_none : ∀A.option A → bool ≝ λA,o.match o with [ None ⇒ true | _ ⇒ false ].
Note: See TracChangeset for help on using the changeset viewer.