source: src/ASM/String.ma @ 1691

Last change on this file since 1691 was 1599, checked in by sacerdot, 8 years ago

Start of merging of stuff into the standard library of Matita.

File size: 90 bytes
RevLine 
[1599]1include "basics/lists/list.ma".
[475]2
[698]3include "ASM/Char.ma".
[475]4
5definition String ≝ list Char.
Note: See TracBrowser for help on using the repository browser.