src/Tools/induct_tacs.ML
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