Tue, 23 Oct 2001 19:13:17 +0200 wenzelm apply(simp add: three_def numerals) (* FIXME !? *);
Tue, 23 Oct 2001 19:12:58 +0200 wenzelm unset DISPLAY (again);
Tue, 23 Oct 2001 19:12:37 +0200 wenzelm * Pure: removed obsolete 'exported' attribute;
Mon, 22 Oct 2001 23:39:00 +0200 wenzelm *** empty log message ***
Mon, 22 Oct 2001 18:07:53 +0200 wenzelm moved object_logic.ML to Isar/object_logic.ML;
Mon, 22 Oct 2001 18:07:30 +0200 wenzelm moved locale.ML to Isar/locale.ML;
Mon, 22 Oct 2001 18:04:26 +0200 wenzelm moved goal related stuff to goals.ML;
Mon, 22 Oct 2001 18:04:11 +0200 wenzelm Display.current_goals_markers;
Mon, 22 Oct 2001 18:04:00 +0200 wenzelm tuned;
Mon, 22 Oct 2001 18:03:49 +0200 wenzelm moved prove_goalw_cterm to goals.ML;
Mon, 22 Oct 2001 18:03:21 +0200 wenzelm moved local defs to proof.ML (for locales);
Mon, 22 Oct 2001 18:02:50 +0200 wenzelm improved source arrangement of obtain;
Mon, 22 Oct 2001 18:02:21 +0200 wenzelm rearrange sources for locales;
Mon, 22 Oct 2001 18:02:04 +0200 wenzelm Display.print_current_goals_fn;
Mon, 22 Oct 2001 18:01:52 +0200 wenzelm Display.print_goals;
Mon, 22 Oct 2001 18:01:38 +0200 wenzelm Display.pretty_thms;
Mon, 22 Oct 2001 18:01:26 +0200 wenzelm qualified names;
Mon, 22 Oct 2001 18:01:15 +0200 wenzelm make this module appeat late in Pure;
Mon, 22 Oct 2001 17:59:39 +0200 wenzelm print_goals stuff is back (from locale.ML);
Mon, 22 Oct 2001 17:58:56 +0200 wenzelm reorganize sources to accomodate locales;
Mon, 22 Oct 2001 17:58:37 +0200 wenzelm corollary;
Mon, 22 Oct 2001 17:58:26 +0200 wenzelm quick_and_dirty_prove_goalw_cterm;
Mon, 22 Oct 2001 17:58:11 +0200 wenzelm javac -depend;
Mon, 22 Oct 2001 17:56:16 +0200 wenzelm -D generated;
Mon, 22 Oct 2001 14:58:05 +0200 berghofe Added "clean" target.
Mon, 22 Oct 2001 14:55:16 +0200 berghofe Fixed problem with batch mode layout, which caused an AWT exception when
Mon, 22 Oct 2001 14:53:52 +0200 berghofe initBrowser now has additional noAWT argument.
Mon, 22 Oct 2001 14:52:43 +0200 berghofe Constructor no longer takes font as an argument.
Mon, 22 Oct 2001 14:52:12 +0200 berghofe Moved font settings from TreeNode to TreeBrowser.
Mon, 22 Oct 2001 14:51:39 +0200 berghofe Moved font settings from Vertex to GraphView.
Mon, 22 Oct 2001 12:11:00 +0200 paulson deleted the redundant first argument of adjust(a,b)
Mon, 22 Oct 2001 12:01:35 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
Mon, 22 Oct 2001 11:55:35 +0200 paulson New simproc, needed to cope with combinations of (abstract) 0, (abstract) 1,
Mon, 22 Oct 2001 11:54:22 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
Mon, 22 Oct 2001 11:01:30 +0200 wenzelm keep DISPLAY;
Sun, 21 Oct 2001 19:49:29 +0200 wenzelm updated;
Sun, 21 Oct 2001 19:48:19 +0200 wenzelm renamed to Typedefs.thy to avoid conflict with main HOL version;
Sun, 21 Oct 2001 19:44:25 +0200 wenzelm * proper spacing of consecutive markup elements, especially text
Sun, 21 Oct 2001 19:42:53 +0200 wenzelm \newif\ifisamarkup controls spacing of isabeginpar;
Sun, 21 Oct 2001 19:42:24 +0200 wenzelm improved spacing;
Sun, 21 Oct 2001 19:41:43 +0200 wenzelm maintain Latex.flag_markup;
Sun, 21 Oct 2001 19:40:39 +0200 wenzelm flag_markup;
Sun, 21 Oct 2001 19:36:12 +0200 wenzelm Types/document/Typedefs;
Sun, 21 Oct 2001 19:35:40 +0200 wenzelm renamed Typedef.thy to Typedefs.thy (former already present in main HOL);
Sat, 20 Oct 2001 22:07:44 +0200 wenzelm got rid of separate root.tex;
Sat, 20 Oct 2001 20:23:37 +0200 wenzelm graceful interpretation of -i/-d/-D options;
Sat, 20 Oct 2001 20:22:17 +0200 wenzelm include document graph;
Sat, 20 Oct 2001 20:21:40 +0200 wenzelm document graph option;
Sat, 20 Oct 2001 20:21:14 +0200 wenzelm conditional: bool -> (unit -> unit) -> unit;
Sat, 20 Oct 2001 20:20:41 +0200 wenzelm added TextIO.stdErr;
Sat, 20 Oct 2001 20:20:21 +0200 wenzelm include document graph;
Sat, 20 Oct 2001 20:19:47 +0200 wenzelm document graphs for several sessions;
Sat, 20 Oct 2001 20:18:57 +0200 wenzelm tuned;
Sat, 20 Oct 2001 20:18:45 +0200 wenzelm calculational rules moved from FOL to IFOL;
Sat, 20 Oct 2001 20:18:19 +0200 wenzelm option -g for document graph;
Sat, 20 Oct 2001 20:16:55 +0200 wenzelm option -q also excludes -v true in generated stuff;
Sat, 20 Oct 2001 20:15:44 +0200 wenzelm dvips -q;
Sat, 20 Oct 2001 20:15:27 +0200 wenzelm removed -v option (handled by isabelle process);
Sat, 20 Oct 2001 20:14:56 +0200 wenzelm -o pdf: produce *both* eps and pdf;
Sat, 20 Oct 2001 20:14:16 +0200 wenzelm * greatly simplified document preparation setup, including more
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip