src/HOL/ex/Primrec.thy
changeset 22473 753123c89d72
parent 22283 26140713540b
child 22944 1d471b8dec4e
equal deleted inserted replaced
22472:bfd9c0fd70b1 22473:753123c89d72