| 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 |
| Thu, 23 Jul 2009 09:38:22 +0200 | berghofe | Purely functional type inference. | changeset | files |
| Wed, 22 Jul 2009 18:08:45 +0200 | haftmann | merged | changeset | files |
| Wed, 22 Jul 2009 18:02:10 +0200 | haftmann | moved complete_lattice &c. into separate theory | changeset | files |
| Wed, 22 Jul 2009 15:28:49 +0200 | Christian Urban | merged | changeset | files |