Nominal/Ex/Classical.thy
changeset 2788 036a19936feb
parent 2617 e44551d067e6
child 2889 0435c4dfd6f6
equal deleted inserted replaced
2787:1a6593bc494d 2788:036a19936feb