Changeset 1139 for src/RTLabs/syntax.ma
- Timestamp:
- Aug 30, 2011, 12:47:18 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/syntax.ma
r1116 r1139 40 40 41 41 (* Note that the global variables will be initialised by the code in main 42 by this stage. All initialisation data should only reserve space. *) 42 by this stage, so the only initialisation data is the amount of space to 43 allocate. *) 43 44 44 definition RTLabs_program ≝ program (fundef internal_function) unit.45 definition RTLabs_program ≝ program (fundef internal_function) nat. 45 46 46 47 (* TO CONSIDER:
Note: See TracChangeset
for help on using the changeset viewer.