Nominal/Ex/ExPS7.thy
changeset 2007 7ee9a2fefc77
parent 1773 c0eac04ae3b4
child 2043 5098771ff041
equal deleted inserted replaced
2006:2ceec1b4b015 2007:7ee9a2fefc77