Nominal/Test_compat1.thy
changeset 1437 45fb38a2e3f7
parent 1374 d39ca37e526a
equal deleted inserted replaced
1436:04dad9b0136d 1437:45fb38a2e3f7