| Thu, 23 Jul 2009 16:53:15 +0200 | wenzelm | merged | changeset | files |
| Thu, 23 Jul 2009 16:53:00 +0200 | wenzelm | paramify_vars: Term_Subst.map_atypsT_same | changeset | files |
| Thu, 23 Jul 2009 16:52:16 +0200 | wenzelm | clarified pretty_goals, pretty_thm_aux: plain context; | changeset | files |
| Thu, 23 Jul 2009 16:43:31 +0200 | wenzelm | use regular Display.string_of_thm_global; | changeset | files |
| Thu, 23 Jul 2009 16:09:50 +0200 | wenzelm | tuned ML_OPTIONS; | changeset | files |
| Thu, 23 Jul 2009 15:59:14 +0200 | haftmann | fixed doc | changeset | files |