src/HOL/Lfp.thy
changeset 9066 b1e874e38dab
parent 8882 9df44a4f1bf7
child 10212 33fe2d701ddd
equal deleted inserted replaced
9065:15f82c9aa331 9066:b1e874e38dab