Change History for Ticket #413

Version Date Author Comment
1 13 years David Aspinall Thanks for the report. I tried the example as you explained it on …
0 13 years Generic Isabelle user Initial version