[isabelle-dev] NEWS: print_record
Gerwin.Klein at nicta.com.au
Mon Jan 11 05:33:18 CET 2016
* 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