Nominal/Manual/Term4.thy
changeset 1800 78fdc6b36a1c
parent 1592 b679900fa5f6
child 1848 acacc448f9ea
equal deleted inserted replaced
1799:6471e252f14e 1800:78fdc6b36a1c