doc-src/TutorialI/basics.tex
Sun, 15 Aug 2010 17:14:10 +0200 nipkow Using type real does not require a separate logic now.
Wed, 22 Jun 2005 09:26:18 +0200 nipkow *** empty log message ***
Fri, 10 Jun 2005 18:36:47 +0200 nipkow tuning
Mon, 06 Jun 2005 21:20:54 +0200 nipkow updating...
Sat, 08 Jan 2005 09:30:16 +0100 nipkow new citation
Thu, 02 Dec 2004 10:36:20 +0100 nipkow *** empty log message ***
Wed, 18 Aug 2004 11:44:17 +0200 nipkow import -> imports
Mon, 16 Aug 2004 19:47:01 +0200 nipkow Adapted text to new theory header syntax.
Mon, 10 Feb 2003 15:57:46 +0100 nipkow *** empty log message ***
Wed, 31 Jul 2002 17:42:38 +0200 nipkow *** empty log message ***
Tue, 08 Jan 2002 17:31:43 +0100 wenzelm \chapter{The Basics};
Wed, 12 Dec 2001 09:04:20 +0100 nipkow *** empty log message ***
Thu, 29 Nov 2001 21:12:37 +0100 nipkow *** empty log message ***
Thu, 29 Nov 2001 13:33:45 +0100 nipkow *** empty log message ***
Thu, 26 Jul 2001 16:43:02 +0200 paulson revisions and indexing
Tue, 24 Jul 2001 11:25:54 +0200 paulson tweaks and indexing
Tue, 17 Jul 2001 13:46:21 +0200 paulson tidying the index
Fri, 13 Jul 2001 18:08:26 +0200 paulson added\\protect
Wed, 11 Jul 2001 13:56:15 +0200 paulson tweak
Wed, 16 May 2001 18:03:12 +0200 paulson spelling
Mon, 19 Mar 2001 12:38:36 +0100 nipkow *** empty log message ***
Thu, 15 Mar 2001 13:57:10 +0100 nipkow *** empty log message ***
Wed, 14 Mar 2001 17:38:49 +0100 nipkow *** empty log message ***
Fri, 26 Jan 2001 15:50:28 +0100 nipkow *** empty log message ***
Thu, 25 Jan 2001 15:31:31 +0100 nipkow *** empty log message ***
Wed, 24 Jan 2001 12:29:10 +0100 nipkow *** empty log message ***
Fri, 12 Jan 2001 16:32:01 +0100 paulson lcp's pass over the book, chapters 1-8
Fri, 05 Jan 2001 18:32:57 +0100 paulson minor edits to Chapters 1-3
Mon, 18 Dec 2000 16:11:53 +0100 nipkow *** empty log message ***
Wed, 29 Nov 2000 13:44:26 +0100 nipkow *** empty log message ***
Mon, 06 Nov 2000 11:32:23 +0100 nipkow *** empty log message ***
Tue, 12 Sep 2000 15:43:15 +0200 nipkow *** empty log message ***
Fri, 01 Sep 2000 19:09:44 +0200 nipkow *** empty log message ***
Mon, 28 Aug 2000 09:32:51 +0200 nipkow *** empty log message ***
Sun, 06 Aug 2000 15:26:53 +0200 nipkow *** empty log message ***
Tue, 25 Apr 2000 08:09:10 +0200 nipkow *** empty log message ***
Wed, 19 Apr 2000 11:54:39 +0200 nipkow I wonder if that's all?
less more (0) tip