source: Deliverables/D4.1/Matita/new-matita-development/String.ma @ 475

Last change on this file since 475 was 475, checked in by mulligan, 9 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
RevLine 
[475]1include "basics/list.ma".
2
3include "cerco/Char.ma".
4
5definition String ≝ list Char.
Note: See TracBrowser for help on using the repository browser.