src/Doc/Tutorial/Inductive/AB.thy
changeset 67930 7dff1186daf3
parent 67406 23307fd33906
child 68249 949d93804740