Changeset 762 for src/RTLabs


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

Make naming of RTLabs files more uniform

Location:
src/RTLabs
Files:
1 edited
2 moved

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)) ≝
  • src/RTLabs/semantics.ma

    r761 r762  
    88include "common/SmallstepExec.ma".
    99
    10 include "RTLabs/RTLabs-syntax.ma".
     10include "RTLabs/syntax.ma".
    1111
    1212definition genv ≝ (genv_t Genv) (fundef internal_function).
Note: See TracChangeset for help on using the changeset viewer.