src/Doc/Tutorial/Inductive/AB.thy
changeset 60238 52d02564242a
parent 58620 7435b6a3f72e
child 63648 f9f3006a5579