source: src/ASM/String.ma @ 2276

Last change on this file since 2276 was 1599, checked in by sacerdot, 8 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.