Nominal/Ex/LF.thy
changeset 2369 3aeb58524131
parent 2311 4da5c5c29009
child 2436 3885dc2669f9
equal deleted inserted replaced
2367:34af7f2ca490 2369:3aeb58524131