src/HOL/HOLCF/Algebraic.thy
changeset 52435 6646bb548c6b
parent 49834 b27bbb021df1
child 58880 0baae4311a9f