source: src/ASM/new-matita-development/Char.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: 104 bytes
Line 
1(*include "logic/pts.ma".*)
2
3include "core_notation.ma".
4include "basics/pts.ma".
5
6axiom Char: Type[0].
Note: See TracBrowser for help on using the repository browser.