Nominal/Ex/ExPS8.thy
changeset 2089 e9f089a5cc17
parent 2052 ca512f9c0b0a
child 2082 0854af516f14
equal deleted inserted replaced
2087:c861b53d0cde 2089:e9f089a5cc17