src/Doc/Tutorial/Advanced/simp2.thy
changeset 66787 64b47495676d
parent 58620 7435b6a3f72e
child 67406 23307fd33906