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

Make naming of RTLabs files more uniform

File:
1 moved

Legend:

Unmodified
Added
Removed
  • 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.