Nominal/Ex/Let.thy
changeset 2747 a5da7b6aff8f
parent 2722 ba34f893539a
child 2842 43bb260ef290
equal deleted inserted replaced
2746:6aa98a113e6c 2747:a5da7b6aff8f