src/HOL/Lex/AutoMaxChop.thy
changeset 14024 213dcc39358f
parent 5184 9b8547a9496a
child 14428 bb2b0e10d9be