Nominal/Ex/ExNotRsp.thy
changeset 2060 04a881bf49e4
parent 1773 c0eac04ae3b4
child 2082 0854af516f14
equal deleted inserted replaced
2059:c615095827e9 2060:04a881bf49e4