> On 24 Oct 2014, at 04:59, Ramana Kumar <[email protected]> wrote:
> (Userprinters are very difficult to use with the munger, so I would like to > avoid them if possible.) Why is this? Note that printing of if-then-else and monad syntax is done by a user printer in core HOL, and those examples work fine in the munger. Michael ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
