source: src/ASM/String.ma @ 690

Last change on this file since 690 was 690, checked in by mulligan, 9 years ago

Moved new matita files into correct place.

File size: 86 bytes
Line 
1include "basics/list.ma".
2
3include "cerco/Char.ma".
4
5definition String ≝ list Char.
Note: See TracBrowser for help on using the repository browser.