src/HOL/Tools/TFL/thms.ML
2014-09-04 hoelzl 2014-09-04 cleanup Wfrec; introduce dependent_wf/wellorder_choice
2010-09-06 wenzelm 2010-09-06 more antiquotations;
2007-05-31 wenzelm 2007-05-31 moved TFL files to canonical place;