Mon, 05 Nov 2007 15:37:41 +0100 |
nipkow |
removed advanced recdef section and replaced it by citation of Alex's tutorial.
|
file |
diff |
annotate
|
Thu, 01 Nov 2007 20:20:19 +0100 |
nipkow |
recdef -> fun
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 14:34:27 +0200 |
berghofe |
Removed legacy ML files in Protocol case study.
|
file |
diff |
annotate
|
Tue, 16 Aug 2005 13:42:21 +0200 |
wenzelm |
removed -H false;
|
file |
diff |
annotate
|
Wed, 22 Jun 2005 19:43:38 +0200 |
nipkow |
added Rules/find2
|
file |
diff |
annotate
|
Wed, 25 May 2005 09:04:24 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 08 May 2003 12:50:27 +0200 |
paulson |
HOL-Real -> HOL-Complex
|
file |
diff |
annotate
|
Fri, 05 Jul 2002 17:48:05 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 21 Dec 2001 19:55:39 +0100 |
wenzelm |
removed Misc/Translations (text covered by Documents.thy);
|
file |
diff |
annotate
|
Sun, 21 Oct 2001 19:35:40 +0200 |
wenzelm |
renamed Typedef.thy to Typedefs.thy (former already present in main HOL);
|
file |
diff |
annotate
|
Sat, 20 Oct 2001 22:07:44 +0200 |
wenzelm |
got rid of separate root.tex;
|
file |
diff |
annotate
|
Mon, 01 Oct 2001 14:44:00 +0200 |
wenzelm |
initial setup for chapter on document preparation;
|
file |
diff |
annotate
|
Fri, 28 Sep 2001 14:10:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 17 Jul 2001 13:46:21 +0200 |
paulson |
tidying the index
|
file |
diff |
annotate
|
Wed, 11 Jul 2001 10:50:18 +0200 |
paulson |
do not remove Rules and Sets TeX files
|
file |
diff |
annotate
|
Fri, 29 Jun 2001 18:12:18 +0200 |
paulson |
the records section
|
file |
diff |
annotate
|
Thu, 03 May 2001 10:27:04 +0200 |
paulson |
remove unnecessary TeX files
|
file |
diff |
annotate
|
Tue, 10 Apr 2001 16:11:01 +0200 |
paulson |
Protocols chapter
|
file |
diff |
annotate
|
Tue, 13 Mar 2001 18:35:48 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 25 Jan 2001 15:31:31 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 22 Jan 2001 11:01:05 +0100 |
paulson |
new examples theory Rules/Tacticals.thy
|
file |
diff |
annotate
|
Wed, 10 Jan 2001 11:00:17 +0100 |
paulson |
fixed the treatment of Rules and Sets
|
file |
diff |
annotate
|
Fri, 05 Jan 2001 15:39:34 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 03 Jan 2001 11:13:51 +0100 |
paulson |
Types chapter now uses HOL-Real
|
file |
diff |
annotate
|
Tue, 02 Jan 2001 12:04:33 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 15 Dec 2000 18:06:48 +0100 |
wenzelm |
usedir -m brackets;
|
file |
diff |
annotate
|
Fri, 15 Dec 2000 12:32:35 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 13 Dec 2000 10:11:13 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 13 Dec 2000 09:39:53 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 05 Dec 2000 18:57:40 +0100 |
paulson |
new theory Numbers.thy
|
file |
diff |
annotate
|