Nominal/Manual/Term8.thy
changeset 2304 8a98171ba1fc
parent 1937 ffca58ce9fbc