Nominal/TySch.thy
changeset 1464 1850361efb8f
parent 1430 ccbcebef56f3
child 1477 4ac3485899e1