src/HOL/Library/Going_To_Filter.thy
changeset 67951 655aa11359dc
parent 67409 060efe532189
child 68406 6beb45f6cf67