Changeset 473


Ignore:
Timestamp:
Jan 21, 2011, 2:31:00 PM (7 years ago)
Author:
campbell
Message:

Track changes in nlibrary list-theory.ma -> list.ma

Location:
Deliverables/D3.1/C-semantics
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Coqlib.ma

    r173 r473  
    2121include "datatypes/sums.ma".
    2222include "datatypes/list.ma".
    23 include "datatypes/list-theory.ma".
    2423
    2524include "extralib.ma".
  • Deliverables/D3.1/C-semantics/depends

    r409 r473  
    88CexecSound.ma Cexec.ma
    99CexecEquiv.ma CexecComplete.ma CexecSound.ma Plogic/connectives.ma Plogic/jmeq.ma extralib.ma
    10 Coqlib.ma binary/Z.ma datatypes/list-theory.ma datatypes/list.ma datatypes/sums.ma extralib.ma
     10Coqlib.ma binary/Z.ma datatypes/list.ma datatypes/sums.ma extralib.ma
    1111AST.ma Floats.ma Integers.ma binary/positive.ma datatypes/sums.ma extralib.ma
    1212Smallstep.ma Events.ma
     
    3232basics/eq.ma
    3333basics/functions.ma
    34 datatypes/list-theory.ma
    3534datatypes/list.ma
    3635datatypes/pairs.ma
Note: See TracChangeset for help on using the changeset viewer.