Nominal/Fv.thy
changeset 1485 c004e7448dca
parent 1472 4fa5365cd871
child 1480 21cbb5b0e321
equal deleted inserted replaced
1484:dc7b049d9072 1485:c004e7448dca