Nominal/Perm.thy
changeset 1694 3bf0fddb7d44
parent 1683 f78c820f67c3
child 1774 c34347ec7ab3
equal deleted inserted replaced
1693:3668b389edf3 1694:3bf0fddb7d44