src/HOL/Library/Going_To_Filter.thy
6 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
13 months ago nipkow 2018-06-07 utilize 'flip'
18 months ago wenzelm 2018-01-12 prefer formal text;
23 months ago Manuel Eberl 2017-08-23 HOL-Library: going_to filter