| Mon, 22 Oct 2001 18:01:52 +0200 | wenzelm | Display.print_goals; | changeset | files |
| Mon, 22 Oct 2001 18:01:38 +0200 | wenzelm | Display.pretty_thms; | changeset | files |
| Mon, 22 Oct 2001 18:01:26 +0200 | wenzelm | qualified names; | changeset | files |
| Mon, 22 Oct 2001 18:01:15 +0200 | wenzelm | make this module appeat late in Pure; | changeset | files |
| Mon, 22 Oct 2001 17:59:39 +0200 | wenzelm | print_goals stuff is back (from locale.ML); | changeset | files |
| Mon, 22 Oct 2001 17:58:56 +0200 | wenzelm | reorganize sources to accomodate locales; | changeset | files |
| Mon, 22 Oct 2001 17:58:37 +0200 | wenzelm | corollary; | changeset | files |