Nominal/Manual/Term4.thy
changeset 2854 b577f06e0804
parent 2326 b51532dd5689