Nominal/Abs_equiv.thy
changeset 2123 2f39ce2aba6c
parent 1657 d7dc35222afc
equal deleted inserted replaced
2122:24ca435ead14 2123:2f39ce2aba6c