Nominal/Nominal2_FCB.thy
changeset 3146 556fcd0e5fcb
parent 3109 d79e936e30ea
child 3183 313e6f2cdd89
equal deleted inserted replaced
3145:31bc3e2e80bf 3146:556fcd0e5fcb