source: Deliverables/D3.3/id-lookup-branch/ASM/String.ma @ 2445

Last change on this file since 2445 was 698, checked in by mulligan, 10 years ago

Commit with changes to files to get our files to typecheck.
File size: 84 bytes
Line 
1include "basics/list.ma".
2
3include "ASM/Char.ma".
4
5definition String ≝ list Char.
Note: See TracBrowser for help on using the repository browser.