Nominal/Manual/Term1.thy
changeset 1603 2b367c80c0d7
parent 1592 b679900fa5f6
equal deleted inserted replaced
1602:a7e60da429e2 1603:2b367c80c0d7