Changeset 1601 for src/LIN/LIN.ma


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/LIN/LIN.ma

    r1379 r1601  
    11include "LIN/joint_LTL_LIN.ma".
    2 include "utilities/lists.ma".
     2include "basics/lists/list.ma".
    33
    44definition lin_params_ : params_ ≝ mk_params_ ltl_lin_params__ unit.
Note: See TracChangeset for help on using the changeset viewer.