Changeset 173 for C-semantics/Coqlib.ma


Ignore:
Timestamp:
Oct 13, 2010, 12:12:53 PM (10 years ago)
Author:
campbell
Message:

Minor changes for newer versions of matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/Coqlib.ma

    r24 r173  
    2121include "datatypes/sums.ma".
    2222include "datatypes/list.ma".
     23include "datatypes/list-theory.ma".
    2324
    2425include "extralib.ma".
Note: See TracChangeset for help on using the changeset viewer.