Is EmitML documented somewhere? I don't think I saw it in the Description
manual.
In particular, I'm wondering whether I need to repeat the quotation of a
datatype for EmitML.DATATYPE (after having passed it once already to
Hol_datatype) if I want to emit a datatype, or whether it can be
reconstructed somehow based on whatever Hol_datatype stores.
------------------------------------------------------------------------------
This SF email is sponsosred by:
Try Windows Azure free for 90 days Click Here
http://p.sf.net/sfu/sfd2d-msazure
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
