Changeset 3578 for LTS/imp.ma


Ignore:
Timestamp:
Jul 1, 2015, 11:45:08 PM (4 years ago)
Author:
piccolo
Message:

baco

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/imp.ma

    r3575 r3578  
    6060    expr ≡ carr X.
    6161
    62 (* ambigous input? why?
     62(*
    6363unification hint  0 ≔ p1,p2;
    6464    X ≟ DeqExpr
Note: See TracChangeset for help on using the changeset viewer.