Nominal/Ex/Let.thy
changeset 2758 6ba52f3a1542
parent 2722 ba34f893539a
child 2842 43bb260ef290