Is there a notion of print depth for the HOL printer, to avoid printing very large terms in full? (Using PolyML.print_depth doesn't seem to do the right thing.)
------------------------------------------------------------------------------ This SF.net email is sponsored by Windows:
Build for Windows Store. http://p.sf.net/sfu/windows-dev2dev
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
