Nominal/Ex/ExPS6.thy
changeset 1871 c704d129862b
parent 1773 c0eac04ae3b4
child 2082 0854af516f14
equal deleted inserted replaced
1870:55b2da92ff2f 1871:c704d129862b