src/HOL/Library/Going_To_Filter.thy
21 months ago wenzelm 2018-01-12 prefer formal text;
2017-08-23 Manuel Eberl 2017-08-23 HOL-Library: going_to filter