Ignore:
Timestamp:
Dec 13, 2011, 1:41:08 PM (9 years ago)
Author:
sacerdot
Message:

utilities and ASM ported to the new standard library

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/Coqlib.ma

    r1599 r1600  
    599599(* * Mapping a function over an option type. *)
    600600
    601 include "utilities/option.ma".
    602 
    603601(*
    604602(** Mapping a function over a sum type. *)
Note: See TracChangeset for help on using the changeset viewer.