Nominal/TestMorePerm.thy
changeset 1669 9911824a5396
parent 1595 aeed597d2043
equal deleted inserted replaced
1666:a99ae705b811 1669:9911824a5396