src/Doc/Tutorial/Inductive/AB.thy
changeset 62337 d3996d5873dd
parent 58620 7435b6a3f72e
child 63648 f9f3006a5579
equal deleted inserted replaced
62283:f005a691df1f 62337:d3996d5873dd