Ignore:
Timestamp:
May 24, 2012, 5:10:05 PM (7 years ago)
Author:
campbell
Message:

Make front-end memory model only depend on the general definitions by
moving a few definitions from the back-end one. Give the front-end
model a more descriptive name.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Globalenvs.ma

    r1988 r1993  
    3737include "common/AST.ma".
    3838(*include "Values.ma".*)
    39 include "common/Mem.ma".
     39include "common/FrontEndMem.ma".
    4040
    4141   (* * The type of global environments.  The parameter [F] is the type
Note: See TracChangeset for help on using the changeset viewer.