Nominal/Manual/Term1.thy
changeset 2160 8c24ee88b8e8
parent 1592 b679900fa5f6
equal deleted inserted replaced
2159:ce00205e07ab 2160:8c24ee88b8e8