Nominal/Manual/Term4.thy
changeset 2482 0c2eb0ed30a0
parent 2326 b51532dd5689