Nominal/Manual/Term4.thy
changeset 1876 b2efe803f1da
parent 1862 310b7b768adf
child 1906 0dc61c2966da