Changeset 1352 for src/RTLabs
- Timestamp:
- Oct 11, 2011, 12:45:16 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/RTLabsToRTL.ma
r1343 r1352 5 5 include "common/Graphs.ma". 6 6 include "joint/TranslateUtils.ma". 7 include alias "ASM/BitVector.ma". 8 include alias "arithmetics/nat.ma". 7 9 8 10 let rec register_freshes (runiverse: universe RegisterTag) (n: nat) on n ≝
Note: See TracChangeset
for help on using the changeset viewer.