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