| Mon, 28 Sep 2009 23:19:50 +0200 | wenzelm | reactivated at-sml-dev-e; | changeset | files |
| Mon, 28 Sep 2009 23:13:37 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| 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); | changeset | files |
| Mon, 28 Sep 2009 21:35:57 +0200 | wenzelm | merged | changeset | files |