source: Deliverables/D3.1/C-semantics/cerco/ @ 531

Last change on this file since 531 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: 104 bytes
1(*include "logic/".*)
3include "".
4include "basics/".
6axiom Char: Type[0].
Note: See TracBrowser for help on using the repository browser.