src/HOL/Library/Going_To_Filter.thy
12 months ago nipkow 2018-06-07 utilize 'flip'
17 months ago wenzelm 2018-01-12 prefer formal text;
22 months ago Manuel Eberl 2017-08-23 HOL-Library: going_to filter