Ignore:
Timestamp:
Dec 13, 2011, 2:49:52 PM (8 years ago)
Author:
sacerdot
Message:

Files ported to new version of the standard library.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Identifiers.ma

    r1562 r1601  
    33include "utilities/binary/positive.ma".
    44include "common/Errors.ma".
    5 include "utilities/option.ma".
    65
    76(* identifiers and their generators are tagged to differentiate them, and to
Note: See TracChangeset for help on using the changeset viewer.