Nominal/Ex/Let.thy
changeset 2725 fafc461bdb9e
parent 2722 ba34f893539a
child 2842 43bb260ef290
equal deleted inserted replaced
2724:e6bf6790da7d 2725:fafc461bdb9e