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

Files ported to new version of the standard library.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/RTLabs/semantics.ma

    r1583 r1601  
    33           compilers yet! *)
    44
    5 include "utilities/lists.ma".
     5include "basics/lists/list.ma".
    66
    77include "common/Errors.ma".
Note: See TracChangeset for help on using the changeset viewer.