Changeset 1612 for src/RTLabs/import.ma


Ignore:
Timestamp:
Dec 14, 2011, 3:58:39 PM (8 years ago)
Author:
sacerdot
Message:

All library ported to new Matita lib (finally).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/import.ma

    r1072 r1612  
    8888         (pf_stacksize pre_f)
    8989         graph
    90          (dp ?? entry p)
    91          (dp ?? exit q)
     90         (mk_Sig ?? entry p)
     91         (mk_Sig ?? exit q)
    9292         )))
    9393   .
Note: See TracChangeset for help on using the changeset viewer.