Tue, 08 Jan 2002 18:08:02 +0100 tuned;
wenzelm [Tue, 08 Jan 2002 18:08:02 +0100] rev 12674
tuned;
Tue, 08 Jan 2002 17:51:56 +0100 tuned;
wenzelm [Tue, 08 Jan 2002 17:51:56 +0100] rev 12673
tuned;
Tue, 08 Jan 2002 17:43:21 +0100 tuned;
wenzelm [Tue, 08 Jan 2002 17:43:21 +0100] rev 12672
tuned;
Tue, 08 Jan 2002 17:32:40 +0100 updated;
wenzelm [Tue, 08 Jan 2002 17:32:40 +0100] rev 12671
updated;
Tue, 08 Jan 2002 17:32:28 +0100 tuned;
wenzelm [Tue, 08 Jan 2002 17:32:28 +0100] rev 12670
tuned;
Tue, 08 Jan 2002 17:32:13 +0100 \part{Elementary Techniques};
wenzelm [Tue, 08 Jan 2002 17:32:13 +0100] rev 12669
\part{Elementary Techniques};
Tue, 08 Jan 2002 17:31:43 +0100 \chapter{The Basics};
wenzelm [Tue, 08 Jan 2002 17:31:43 +0100] rev 12668
\chapter{The Basics};
Tue, 08 Jan 2002 16:09:09 +0100 Added some simprules proofs.
paulson [Tue, 08 Jan 2002 16:09:09 +0100] rev 12667
Added some simprules proofs. Converted theories CardinalArith and OrdQuant to Isar style
Tue, 08 Jan 2002 15:39:47 +0100 updated;
wenzelm [Tue, 08 Jan 2002 15:39:47 +0100] rev 12666
updated;
Tue, 08 Jan 2002 15:39:35 +0100 tuned;
wenzelm [Tue, 08 Jan 2002 15:39:35 +0100] rev 12665
tuned;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip