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

Reduce "include"s to reduce compilation time.
(Will be undone when moving to the new-new system.)

File:
1 edited

Legend:

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

    r456 r474  
    2626
    2727include "arithmetics/nat.ma".
    28 include "binary/Z.ma".
    29 include "datatypes/sums.ma".
    30 include "datatypes/list.ma".
    31 include "Plogic/equality.ma".
    32 
    33 include "Coqlib.ma".
     28(*include "binary/Z.ma".*)
     29(*include "datatypes/sums.ma".*)
     30(*include "datatypes/list.ma".*)
     31(*include "Plogic/equality.ma".*)
     32
     33(*include "Coqlib.ma".*)
    3434include "Values.ma".
    35 include "AST.ma".
     35(*include "AST.ma".*)
    3636include "extralib.ma".
    3737
Note: See TracChangeset for help on using the changeset viewer.