Nominal/Fv.thy
changeset 2123 2f39ce2aba6c
parent 2015 3e7969262809
equal deleted inserted replaced
2122:24ca435ead14 2123:2f39ce2aba6c