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