(*include "logic/pts.ma".*)

include "basics/pts.ma".

axiom Char: Type[0].