Re: [isabelle] parse and print translations
On Tue, 18 May 2010, Christian Sternagel wrote:
how do I remove print rules that have been added via
These are called "translation function" and cannot be removed. For
printing several such functions can be declared, and the first match is
applied. Thus you can override certain existing translation functions.
For actual translation rules, which are introduced via the 'translations'
command, there is an explicit 'no_translations' counterpart.
This archive was generated by a fusion of
Pipermail (Mailman edition) and