Nominal/Manual/Term3.thy
changeset 1743 925a5e9aa832
parent 1592 b679900fa5f6
equal deleted inserted replaced
1742:3f78dc600dce 1743:925a5e9aa832