| Sat, 14 Jan 2012 21:16:15 +0100 | wenzelm | discontinued old-style Term.list_abs in favour of plain Term.abs; | file | diff | annotate |
| Mon, 28 Sep 2009 22:47:34 +0200 | wenzelm | moved generic cong_tac from HOL/Tools/datatype_aux.ML to Tools/cong_tac.ML, proper subgoal selection (failure, not exception); | file | diff | annotate |