source: src/ASM/new-matita-development/String.ma @ 688

Last change on this file since 688 was 475, checked in by mulligan, 10 years ago

Matita interpreter ported to latest version of matita (the one with the tabs). To use, this directory must be copied into the /lib directory in the matita directory.

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.