Changeset 1269


Ignore:
Timestamp:
Sep 26, 2011, 3:06:35 PM (8 years ago)
Author:
sacerdot
Message:

Useless include removed.

Location:
src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1254 r1269  
    11include "joint/Joint.ma".
    2 include alias "common/Graphs.ma".
    32
    43inductive move_registers: Type[0] ≝
  • src/LTL/LTL.ma

    r1252 r1269  
    11include "joint/Joint.ma".
    2 include alias "common/Graphs.ma".
    32
    43definition ltl_params_: params_ ≝
Note: See TracChangeset for help on using the changeset viewer.