Changeset 1167 for src/LIN


Ignore:
Timestamp:
Sep 2, 2011, 10:35:54 AM (8 years ago)
Author:
mulligan
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1166 r1167  
    1 include "LIN/JointLTLLIN.ma".
     1include "Joint/JointLTLLIN.ma".
    22 
    33inductive pre_lin_statement (globals: list ident): Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.