Tue, 01 Sep 1998 10:10:11 +0200 paulson Moved lemmas to Arith.ML
Tue, 01 Sep 1998 10:09:11 +0200 paulson Two new subtraction lemmas
Sun, 30 Aug 1998 15:14:42 +0200 wenzelm made SML/NJ happy;
Fri, 28 Aug 1998 15:01:13 +0200 wenzelm * print mode 'emacs' reserved for Isamode;
Fri, 28 Aug 1998 14:59:34 +0200 wenzelm added emacs mode;
Fri, 28 Aug 1998 14:20:14 +0200 wenzelm tuned isatool install;
Fri, 28 Aug 1998 14:18:46 +0200 wenzelm tuned;
Fri, 28 Aug 1998 14:08:55 +0200 wenzelm -d DISTDIR;
Fri, 28 Aug 1998 13:35:43 +0200 wenzelm tuned;
Thu, 27 Aug 1998 20:56:26 +0200 wenzelm www.in.tum.de;
Thu, 27 Aug 1998 20:46:36 +0200 wenzelm made tutorial first;
Thu, 27 Aug 1998 20:45:57 +0200 wenzelm tuned;
Thu, 27 Aug 1998 20:15:43 +0200 wenzelm exec;
Thu, 27 Aug 1998 18:46:57 +0200 wenzelm * Pure: ML function 'theory_of' replaced by 'theory';
Thu, 27 Aug 1998 18:36:23 +0200 wenzelm tuned;
Thu, 27 Aug 1998 18:34:55 +0200 wenzelm isatool install;
Thu, 27 Aug 1998 18:02:40 +0200 wenzelm added tutorial;
Thu, 27 Aug 1998 16:54:55 +0200 wenzelm fixed ISABELLE_USEDIR_OPTIONS;
Thu, 27 Aug 1998 16:41:22 +0200 wenzelm *** empty log message ***
Thu, 27 Aug 1998 16:41:11 +0200 wenzelm Goal, Goalw;
Thu, 27 Aug 1998 16:40:37 +0200 wenzelm moeved get_thm etc. to goals.tex;
Thu, 27 Aug 1998 14:08:32 +0200 wenzelm tuned doc name;
Thu, 27 Aug 1998 14:04:13 +0200 wenzelm fixed center;
Thu, 27 Aug 1998 13:53:41 +0200 wenzelm ISABELLE_USEDIR_OPTIONS="-i false";
Thu, 27 Aug 1998 13:52:46 +0200 wenzelm tuned;
Thu, 27 Aug 1998 11:53:45 +0200 wenzelm eps logis;
Thu, 27 Aug 1998 11:51:32 +0200 wenzelm href eps versions;
Thu, 27 Aug 1998 11:50:18 +0200 wenzelm weblinted, tuned;
Thu, 27 Aug 1998 11:19:35 +0200 wenzelm fake proper eps header;
Wed, 26 Aug 1998 18:41:00 +0200 wenzelm fixed tutorial;
Wed, 26 Aug 1998 18:24:11 +0200 wenzelm added HOL tutorial;
Wed, 26 Aug 1998 18:24:06 +0200 wenzelm added HOL tutorial;
Wed, 26 Aug 1998 18:08:04 +0200 nipkow junk
Wed, 26 Aug 1998 17:27:27 +0200 nipkow *** empty log message ***
Wed, 26 Aug 1998 17:11:29 +0200 nipkow *** empty log message ***
Wed, 26 Aug 1998 16:57:49 +0200 nipkow The HOL tutorial.
Wed, 26 Aug 1998 16:33:29 +0200 wenzelm moved images to gfx dir;
Mon, 24 Aug 1998 21:09:59 +0200 wenzelm tuned;
Mon, 24 Aug 1998 19:13:00 +0200 wenzelm SYNC;
Mon, 24 Aug 1998 19:12:13 +0200 wenzelm emacs local vars;
Mon, 24 Aug 1998 19:11:13 +0200 wenzelm emacs local vars;
Mon, 24 Aug 1998 18:58:12 +0200 wenzelm added nonterminals, setup;
Mon, 24 Aug 1998 18:17:25 +0200 wenzelm added Antiquote example;
Mon, 24 Aug 1998 17:16:49 +0200 wenzelm mkdir -p;
Mon, 24 Aug 1998 17:13:58 +0200 wenzelm emacs local vars;
Mon, 24 Aug 1998 17:13:26 +0200 wenzelm SYNC;
Mon, 24 Aug 1998 17:13:11 +0200 wenzelm emacs local vars;
Mon, 24 Aug 1998 15:52:39 +0200 wenzelm isatool install;
Mon, 24 Aug 1998 15:49:53 +0200 wenzelm install binaries with absolute references to ISABELLE_HOME/bin;
Mon, 24 Aug 1998 14:02:40 +0200 oheimb debugged split_eta_proc
Fri, 21 Aug 1998 17:49:21 +0200 paulson tidied
Fri, 21 Aug 1998 16:14:34 +0200 paulson Tidying
Fri, 21 Aug 1998 15:56:12 +0200 paulson New UNITY files
Thu, 20 Aug 1998 17:43:01 +0200 paulson New theory Lift
Thu, 20 Aug 1998 16:58:28 +0200 paulson new theorems
Thu, 20 Aug 1998 16:49:47 +0200 paulson tidied
Thu, 20 Aug 1998 16:47:52 +0200 paulson new theorems; adds [le_refl, less_imp_le] as simprules
Thu, 20 Aug 1998 16:44:05 +0200 paulson adjusted for new rewrites
Thu, 20 Aug 1998 16:37:18 +0200 paulson tidied
Thu, 20 Aug 1998 16:25:32 +0200 paulson tidied
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip