| Tue, 23 Oct 2001 23:28:59 +0200 | wenzelm | moved RANGE to tctical.ML; | changeset | files |
| Tue, 23 Oct 2001 23:28:01 +0200 | wenzelm | added RANGE (from Isar/proof.ML); | changeset | files |
| Tue, 23 Oct 2001 22:59:14 +0200 | wenzelm | print fixed names as plain strings; | changeset | files |
| Tue, 23 Oct 2001 22:58:15 +0200 | wenzelm | eliminated old numerals; | changeset | files |
| Tue, 23 Oct 2001 22:57:52 +0200 | wenzelm | use generic 1 instead of Numeral1; | changeset | files |
| Tue, 23 Oct 2001 22:56:55 +0200 | wenzelm | eliminated Numeral0; | changeset | files |
| Tue, 23 Oct 2001 22:54:01 +0200 | wenzelm | build option enables most basic browser info (for proper recording of session); | changeset | files |
| Tue, 23 Oct 2001 22:53:08 +0200 | wenzelm | build option; | changeset | files |
| Tue, 23 Oct 2001 22:52:45 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 23 Oct 2001 22:52:31 +0200 | wenzelm | eliminated old numerals; | changeset | files |
| Tue, 23 Oct 2001 22:51:30 +0200 | wenzelm | pass build mode to process; | changeset | files |
| Tue, 23 Oct 2001 19:15:00 +0200 | wenzelm | removed export_thm; | changeset | files |
| Tue, 23 Oct 2001 19:14:47 +0200 | wenzelm | trace_rules: only non-empty; | changeset | files |
| Tue, 23 Oct 2001 19:14:31 +0200 | wenzelm | removed obsolete "exported" att; | changeset | files |
| Tue, 23 Oct 2001 19:14:13 +0200 | wenzelm | replace_dummy_patterns: lift over bounds; | changeset | files |
| Tue, 23 Oct 2001 19:13:44 +0200 | wenzelm | iff: always rotate prems; | changeset | files |
| Tue, 23 Oct 2001 19:13:17 +0200 | wenzelm | apply(simp add: three_def numerals) (* FIXME !? *); | changeset | files |
| Tue, 23 Oct 2001 19:12:58 +0200 | wenzelm | unset DISPLAY (again); | changeset | files |
| Tue, 23 Oct 2001 19:12:37 +0200 | wenzelm | * Pure: removed obsolete 'exported' attribute; | changeset | files |
| Mon, 22 Oct 2001 23:39:00 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 22 Oct 2001 18:07:53 +0200 | wenzelm | moved object_logic.ML to Isar/object_logic.ML; | changeset | files |
| Mon, 22 Oct 2001 18:07:30 +0200 | wenzelm | moved locale.ML to Isar/locale.ML; | changeset | files |
| 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 |