source: src/ASM/String.ma @ 1615

Last change on this file since 1615 was 1599, checked in by sacerdot, 9 years ago

Start of merging of stuff into the standard library of Matita.
File size: 90 bytes
Line 
1include "basics/lists/list.ma".
2
3include "ASM/Char.ma".
4
5definition String ≝ list Char.
Note: See TracBrowser for help on using the repository browser.