source: src/ASM/Char.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: 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.