Mon, 17 Dec 2001 13:25:18 +0100 kleing fixed JVMListExample
Sun, 16 Dec 2001 00:20:17 +0100 kleing MicroJava exception merge
Sun, 16 Dec 2001 00:19:54 +0100 kleing temporarily removed JVMListExample
Sun, 16 Dec 2001 00:19:08 +0100 kleing exception merge + cleanup
Sun, 16 Dec 2001 00:18:44 +0100 kleing exception merge, doesn't work yet
Sun, 16 Dec 2001 00:18:17 +0100 kleing exception merge, cleanup, tuned
Sun, 16 Dec 2001 00:17:44 +0100 kleing exceptions
Sun, 16 Dec 2001 00:17:18 +0100 kleing list_all2_rev
Fri, 14 Dec 2001 22:32:52 +0100 wenzelm removed debug stuff;
Fri, 14 Dec 2001 22:30:54 +0100 wenzelm support for ``indexed syntax'' (using "\<index>" argument instead of "_");
Fri, 14 Dec 2001 22:29:51 +0100 wenzelm removed special treatment of "_" in syntax (now covered by \<index> arg);
Fri, 14 Dec 2001 22:29:11 +0100 wenzelm tuned locale interface;
Fri, 14 Dec 2001 22:28:52 +0100 wenzelm proper treatment of internal parameters;
Fri, 14 Dec 2001 22:28:13 +0100 wenzelm \usepackage[latin1]{inputenc};
Fri, 14 Dec 2001 22:27:58 +0100 wenzelm Wenzel:2001:Isar-examples;
Fri, 14 Dec 2001 22:27:43 +0100 wenzelm updated;
Fri, 14 Dec 2001 22:27:20 +0100 wenzelm mixfix syntax for selectors;
Fri, 14 Dec 2001 22:26:55 +0100 wenzelm record: mixfix;
Fri, 14 Dec 2001 11:57:03 +0100 wenzelm export used_types;
Fri, 14 Dec 2001 11:56:09 +0100 wenzelm Locale.activate_context;
Fri, 14 Dec 2001 11:55:34 +0100 wenzelm beginning support for type instantiation;
Fri, 14 Dec 2001 11:54:47 +0100 wenzelm varify returns newly introduced variables;
Fri, 14 Dec 2001 11:54:13 +0100 wenzelm varifyT' returns newly introduces variables;
Fri, 14 Dec 2001 11:53:31 +0100 wenzelm added invent_type_names;
Fri, 14 Dec 2001 11:52:54 +0100 wenzelm changed Thm.varifyT';
Fri, 14 Dec 2001 11:52:32 +0100 wenzelm type_env;
Fri, 14 Dec 2001 11:51:52 +0100 wenzelm added type_env function;
Fri, 14 Dec 2001 11:51:01 +0100 wenzelm export add_tvarsT etc.;
Fri, 14 Dec 2001 11:50:38 +0100 wenzelm changed Type.varify;
Fri, 14 Dec 2001 11:50:19 +0100 wenzelm Term.invent_type_names;
Thu, 13 Dec 2001 19:05:10 +0100 nipkow *** empty log message ***
Thu, 13 Dec 2001 17:57:55 +0100 nipkow *** empty log message ***
Thu, 13 Dec 2001 17:44:56 +0100 wenzelm made SML/XL happy;
Thu, 13 Dec 2001 16:48:34 +0100 nipkow *** empty log message ***
Thu, 13 Dec 2001 16:48:07 +0100 nipkow Terminator now uses arith_tac as well.
Thu, 13 Dec 2001 16:47:35 +0100 nipkow comp -> rel_comp
Thu, 13 Dec 2001 15:45:03 +0100 wenzelm isatool expandshort;
Thu, 13 Dec 2001 12:33:23 +0100 paulson Relaxed the precondition of UN_upper_le
Wed, 12 Dec 2001 20:37:31 +0100 wenzelm isatool expandshort;
Wed, 12 Dec 2001 19:22:21 +0100 nipkow new rewrite rules for use by arith_tac to take care of uminus.
Wed, 12 Dec 2001 19:21:54 +0100 nipkow new rewrite rules for use by arith_tac to take care of uminus.
Wed, 12 Dec 2001 19:21:02 +0100 nipkow mods due to reorienting and renaming of real_minus_mult_eq1/2
Wed, 12 Dec 2001 19:19:59 +0100 nipkow tuned conversion from terms to "polynomials" for arith_tac: takes care
Wed, 12 Dec 2001 18:05:44 +0100 wenzelm drop_judgment: be graceful about undeclared judgment;
Wed, 12 Dec 2001 18:03:10 +0100 wenzelm obsolete;
Wed, 12 Dec 2001 17:43:45 +0100 wenzelm option "-d pdf" by default (accomodates pdf bias of Mac OS X);
Wed, 12 Dec 2001 17:40:36 +0100 wenzelm removed installfonts, xterm interface;
Wed, 12 Dec 2001 12:40:02 +0100 nipkow Removed pointless backtracking from arith_tac
Wed, 12 Dec 2001 11:07:42 +0100 berghofe Improved error messages.
Wed, 12 Dec 2001 09:04:20 +0100 nipkow *** empty log message ***
Tue, 11 Dec 2001 17:07:45 +0100 wenzelm tuned;
Tue, 11 Dec 2001 17:02:46 +0100 wenzelm obsolete;
Tue, 11 Dec 2001 16:44:43 +0100 wenzelm obsolete;
Tue, 11 Dec 2001 16:25:31 +0100 wenzelm tuned;
Tue, 11 Dec 2001 16:22:44 +0100 wenzelm \isasymindex made text mode;
Tue, 11 Dec 2001 16:22:09 +0100 wenzelm isatools "symbolinput" and "nonascii" have disappeared;
Tue, 11 Dec 2001 16:00:26 +0100 wenzelm added HOL-Library;
Tue, 11 Dec 2001 15:58:32 +0100 wenzelm tuned;
Tue, 11 Dec 2001 15:36:28 +0100 wenzelm updated;
Tue, 11 Dec 2001 15:04:17 +0100 wenzelm removed altogether;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip