Changeset 2865


Ignore:
Timestamp:
Mar 13, 2013, 2:38:50 PM (4 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r2863 r2865  
    520520
    521521include alias "basics/logic.ma".
    522 check stmt_at
     522
    523523record good_if
    524524(p : params) (globals : list ident) (def : joint_internal_function p globals)
Note: See TracChangeset for help on using the changeset viewer.