Nominal/Manual/Term8.thy
changeset 2980 e239c9f18144
parent 1937 ffca58ce9fbc