Nominal/Test_compat.thy
changeset 1427 b355cab42841
parent 1370 0e32379e452f
equal deleted inserted replaced
1426:ed2ad1302fdd 1427:b355cab42841