Mon, 23 Jun 2008 15:26:49 +0200 |
wenzelm |
induct_tac: old conjunctive rules no longer supported;
|
file |
diff |
annotate
|
Thu, 01 Nov 2007 20:20:19 +0100 |
nipkow |
recdef -> fun
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Fri, 18 Jan 2002 18:30:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 10 Jan 2002 11:22:03 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 13 Dec 2001 19:05:10 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 09 Aug 2001 18:12:15 +0200 |
paulson |
revisions and indexing
|
file |
diff |
annotate
|
Tue, 17 Jul 2001 13:46:21 +0200 |
paulson |
tidying the index
|
file |
diff |
annotate
|
Wed, 02 May 2001 11:54:18 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 01 May 2001 22:26:55 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 17 Apr 2001 16:54:38 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 07 Mar 2001 15:54:11 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 12 Jan 2001 16:32:01 +0100 |
paulson |
lcp's pass over the book, chapters 1-8
|
file |
diff |
annotate
|
Wed, 13 Dec 2000 09:39:53 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 08 Nov 2000 14:38:04 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 06 Nov 2000 11:32:23 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 31 Oct 2000 13:59:41 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 25 Oct 2000 18:24:33 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 20 Oct 2000 08:46:41 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 18 Oct 2000 17:19:18 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 18 Oct 2000 12:30:59 +0200 |
paulson |
wellfounded -> well-founded
|
file |
diff |
annotate
|
Tue, 17 Oct 2000 13:28:57 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 13 Oct 2000 18:02:08 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 11 Oct 2000 09:09:06 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 12 Sep 2000 22:13:23 +0200 |
wenzelm |
renamed atts: rulify to rule_format, elimify to elim_format;
|
file |
diff |
annotate
|
Tue, 12 Sep 2000 15:43:15 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 11 Sep 2000 17:59:53 +0200 |
wenzelm |
renamed "rulify" to "rulified";
|
file |
diff |
annotate
|
Tue, 05 Sep 2000 09:03:17 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 01 Sep 2000 19:09:44 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 29 Aug 2000 16:05:13 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 28 Aug 2000 09:32:51 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 18 Aug 2000 11:14:23 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|