[isabelle-dev] NEWS: print_record

Gerwin Klein Gerwin.Klein at nicta.com.au
Mon Jan 11 05:33:18 CET 2016

Small addition:

* New diagnostic command print_record for displaying record definitions.

This refers to Isabelle/13f0fa687aa7. It is esp useful when records are defined programmatically and don’t have a textual definition that could be inspected with Command-Click.



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.

More information about the isabelle-dev mailing list