Changeset 762 for src/RTLabs/import.ma


Ignore:
Timestamp:
Apr 19, 2011, 5:48:45 PM (9 years ago)
Author:
campbell
Message:

Make naming of RTLabs files more uniform

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/import.ma

    r750 r762  
    11
    2 include "RTLabs/RTLabs-sem.ma".
     2include "RTLabs/semantics.ma".
    33
    44let rec n_idents (n:nat) (tag:String) (g:universe tag) : res (Vector (identifier tag) n × (universe tag)) ≝
Note: See TracChangeset for help on using the changeset viewer.