source: Deliverables/D3.1/C-semantics/cerco/Char.ma @ 533

Last change on this file since 533 was 533, checked in by campbell, 9 years ago

Make stuff from D4.1 work with my copy of matita.

File size: 76 bytes
RevLine 
[475]1(*include "logic/pts.ma".*)
2
3include "basics/pts.ma".
4
5axiom Char: Type[0].
Note: See TracBrowser for help on using the repository browser.