src/Doc/Tutorial/Advanced/simp2.thy
changeset 60238 52d02564242a
parent 58620 7435b6a3f72e
child 67406 23307fd33906