| Tue, 28 Aug 2012 14:37:57 +0200 |
wenzelm |
more standard document preparation within session context: avoid clashes with generated .tex files, even on case-insensible file-system;
|
file |
diff |
annotate
|
| Sun, 15 Aug 2010 17:14:10 +0200 |
nipkow |
Using type real does not require a separate logic now.
|
file |
diff |
annotate
|
| Sun, 15 Aug 2010 16:48:42 +0200 |
nipkow |
tuned text about "value" and added note on comments.
|
file |
diff |
annotate
|
| Thu, 29 May 2008 22:45:33 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 22 Apr 2008 08:33:10 +0200 |
haftmann |
dropped theory PreList
|
file |
diff |
annotate
|
| Thu, 08 Nov 2007 13:24:03 +0100 |
nipkow |
added evaluation
|
file |
diff |
annotate
|
| Fri, 10 Jun 2005 19:21:16 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Thu, 02 Dec 2004 14:47:07 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Wed, 18 Aug 2004 11:44:17 +0200 |
nipkow |
import -> imports
|
file |
diff |
annotate
|
| Mon, 16 Aug 2004 19:47:01 +0200 |
nipkow |
Adapted text to new theory header syntax.
|
file |
diff |
annotate
|
| Tue, 18 Mar 2003 17:54:27 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 31 May 2002 09:50:16 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|