| Fri, 15 Aug 2008 15:50:44 +0200 | wenzelm | Args.name_source(_position) for proper position information; | file | diff | annotate |
| Sat, 09 Aug 2008 22:43:46 +0200 | wenzelm | unified Args.T with OuterLex.token, renamed some operations; | file | diff | annotate |
| Mon, 23 Jun 2008 19:00:24 +0200 | wenzelm | induct_tac: allow omission of arguments; | file | diff | annotate |
| Mon, 23 Jun 2008 15:51:38 +0200 | wenzelm | moved src/HOL/Tools/induct_tacs.ML to src/Tools/induct_tacs.ML; | file | diff | annotate |