[isabelle] parse and print translations



A quick question:

how do I remove print rules that have been added via Sign.add_advanced_trfuns?

cheers

chris





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.