diff -r 4da5c5c29009 -r ad03df7e8056 Nominal/NewFv.thy