src/HOL/Nominal/Examples/Nominal_Examples.thy
changeset 37380 35815ce9218a
parent 37358 74fb4f03bb51
child 58329 a31404ec7414
equal deleted inserted replaced
37379:f23e60581eb3 37380:35815ce9218a