| Mon, 22 Oct 2001 18:04:26 +0200 | wenzelm | moved goal related stuff to goals.ML; | changeset | files |
| Mon, 22 Oct 2001 18:04:11 +0200 | wenzelm | Display.current_goals_markers; | changeset | files |
| Mon, 22 Oct 2001 18:04:00 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 22 Oct 2001 18:03:49 +0200 | wenzelm | moved prove_goalw_cterm to goals.ML; | changeset | files |
| Mon, 22 Oct 2001 18:03:21 +0200 | wenzelm | moved local defs to proof.ML (for locales); | changeset | files |
| Mon, 22 Oct 2001 18:02:50 +0200 | wenzelm | improved source arrangement of obtain; | changeset | files |
| Mon, 22 Oct 2001 18:02:21 +0200 | wenzelm | rearrange sources for locales; | changeset | files |
| Mon, 22 Oct 2001 18:02:04 +0200 | wenzelm | Display.print_current_goals_fn; | changeset | files |
| 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 |