Nominal/Ex/Ex1.thy
changeset 2512 b5cb3183409e
parent 2475 486d4647bb37
child 2561 7926f1cb45eb