Fri, 12 Jan 2001 17:59:37 +0100 paulson the \\epsilon character causes font errors in a section title
Fri, 12 Jan 2001 16:56:20 +0100 wenzelm made SML/NJ happy;
Fri, 12 Jan 2001 16:32:01 +0100 paulson lcp's pass over the book, chapters 1-8
Fri, 12 Jan 2001 16:28:14 +0100 paulson renaming of some files
Fri, 12 Jan 2001 16:19:44 +0100 paulson updated for new version of even-examples.tex
Fri, 12 Jan 2001 16:16:09 +0100 paulson updated for new version of advanced-examples.tex
Fri, 12 Jan 2001 16:11:55 +0100 paulson abs and other small changes
Fri, 12 Jan 2001 16:10:56 +0100 paulson updated for new version of numerics.tex
Fri, 12 Jan 2001 16:09:33 +0100 paulson renaming to avoid clashes
Fri, 12 Jan 2001 16:07:20 +0100 paulson auto update
Fri, 12 Jan 2001 16:05:12 +0100 paulson general revisions
Fri, 12 Jan 2001 11:08:06 +0100 wenzelm added Sigma_Algebra;
Fri, 12 Jan 2001 11:06:50 +0100 wenzelm added Induct/Sigma_Algebra.thy;
Fri, 12 Jan 2001 09:32:53 +0100 wenzelm tuned;
Thu, 11 Jan 2001 21:51:14 +0100 wenzelm do not hilite "xnum";
Thu, 11 Jan 2001 19:38:37 +0100 wenzelm make_raw: do not AutoBind.drop_judgment;
Thu, 11 Jan 2001 19:38:02 +0100 wenzelm induct cases: RuleCases.make_raw;
Thu, 11 Jan 2001 19:37:46 +0100 wenzelm added strict_prefixI', strict_prefixE';
Thu, 11 Jan 2001 19:36:25 +0100 wenzelm subst syntax;
Thu, 11 Jan 2001 12:49:48 +0100 nipkow *** empty log message ***
Thu, 11 Jan 2001 12:12:01 +0100 paulson lcp's suggestions for CTL
Thu, 11 Jan 2001 11:47:57 +0100 nipkow *** empty log message ***
Thu, 11 Jan 2001 11:37:03 +0100 paulson a new label
Thu, 11 Jan 2001 11:35:39 +0100 paulson revisions corresponding to the new version of sets.tex
Wed, 10 Jan 2001 20:41:14 +0100 nipkow Added <cdot> syntax for continuous application $.
Wed, 10 Jan 2001 20:21:11 +0100 wenzelm isatool unsymbolize;
Wed, 10 Jan 2001 20:20:10 +0100 wenzelm updated;
Wed, 10 Jan 2001 20:19:56 +0100 wenzelm tuned \DOT, \DDOT;
Wed, 10 Jan 2001 20:19:34 +0100 wenzelm added \<wrong> symbol;
Wed, 10 Jan 2001 20:18:55 +0100 wenzelm tuned;
Wed, 10 Jan 2001 17:21:31 +0100 paulson revisions e.g. images, transitive closure...
Wed, 10 Jan 2001 13:30:25 +0100 nipkow *** empty log message ***
Wed, 10 Jan 2001 12:53:50 +0100 nipkow *** empty log message ***
Wed, 10 Jan 2001 12:43:51 +0100 paulson case_tac on bools
Wed, 10 Jan 2001 12:43:40 +0100 paulson case_tac subgoals
Wed, 10 Jan 2001 11:16:38 +0100 paulson deleted the obsolete nat_neqE (and reformatting)
Wed, 10 Jan 2001 11:15:24 +0100 paulson deleted the obsolete nat_neqE
Wed, 10 Jan 2001 11:14:30 +0100 paulson generalizing the LEAST theorems from "nat" to linear
Wed, 10 Jan 2001 11:13:11 +0100 paulson now using "by" for one-line proofs
Wed, 10 Jan 2001 11:12:45 +0100 paulson various changes including the SOME examples, rule_format and "by"
Wed, 10 Jan 2001 11:12:17 +0100 paulson loads the new theory
Wed, 10 Jan 2001 11:09:11 +0100 paulson reformatting, and splitting the end of "Primes" to create "Forward"
Wed, 10 Jan 2001 11:08:29 +0100 nipkow *** empty log message ***
Wed, 10 Jan 2001 11:07:11 +0100 paulson now using "by" for one-line proofs
Wed, 10 Jan 2001 11:06:07 +0100 paulson introduction of "by" and a few examples of SOME
Wed, 10 Jan 2001 11:05:27 +0100 paulson auto update
Wed, 10 Jan 2001 11:05:13 +0100 paulson new wfrec example
Wed, 10 Jan 2001 11:00:17 +0100 paulson fixed the treatment of Rules and Sets
Wed, 10 Jan 2001 10:40:34 +0100 nipkow *** empty log message ***
Wed, 10 Jan 2001 00:15:33 +0100 wenzelm use \<acute>;
Wed, 10 Jan 2001 00:14:52 +0100 wenzelm added \<dieresis>, \<acute>, \<cedilla>, \<emptyset>;
Tue, 09 Jan 2001 23:48:30 +0100 wenzelm added acute, cedilla, dieresis, hungarumlaut;
Tue, 09 Jan 2001 15:36:30 +0100 nipkow ` -> $
Tue, 09 Jan 2001 15:32:27 +0100 nipkow *** empty log message ***
Tue, 09 Jan 2001 15:29:17 +0100 nipkow `` -> ` and ``` -> ``
Tue, 09 Jan 2001 15:22:13 +0100 nipkow `` -> and ``` -> ``
Tue, 09 Jan 2001 15:18:07 +0100 wenzelm replaced \<macron> by \<inverse>;
Tue, 09 Jan 2001 15:17:08 +0100 wenzelm avoid renaming of params in cases;
Tue, 09 Jan 2001 15:15:28 +0100 wenzelm split_all operation;
Tue, 09 Jan 2001 13:54:44 +0100 oheimb improved evaluation judgment syntax; modified Loop rule
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip