Nominal/Manual/Term4.thy
changeset 1735 8f9e2b02470a
parent 1592 b679900fa5f6
child 1848 acacc448f9ea
equal deleted inserted replaced
1733:6988077666dc 1735:8f9e2b02470a