| Mon, 23 Jun 2008 23:45:46 +0200 | wenzelm | Logic.implies; | changeset | files |
| Mon, 23 Jun 2008 23:45:45 +0200 | wenzelm | Logic.is_all; | changeset | files |
| Mon, 23 Jun 2008 23:45:44 +0200 | wenzelm | Term.all; | changeset | files |
| Mon, 23 Jun 2008 23:45:39 +0200 | wenzelm | Logic.all/mk_equals/mk_implies; | changeset | files |
| Mon, 23 Jun 2008 20:00:58 +0200 | wenzelm | session name: empty for Pure and by default; | changeset | files |
| Mon, 23 Jun 2008 19:00:24 +0200 | wenzelm | induct_tac: allow omission of arguments; | changeset | files |
| Mon, 23 Jun 2008 16:01:03 +0200 | wenzelm | info: default name is "", not "Pure"; | changeset | files |
| Mon, 23 Jun 2008 15:51:38 +0200 | wenzelm | moved src/HOL/Tools/induct_tacs.ML to src/Tools/induct_tacs.ML; | changeset | files |