Mon, 15 Mar 2010 13:59:34 +0100 |
haftmann |
added stmaryrd for isasymSqinter
|
file |
diff |
annotate
|
Thu, 09 Jul 2009 22:13:19 +0200 |
wenzelm |
removed obsolete CVS Ids;
|
file |
diff |
annotate
|
Wed, 09 Apr 2008 20:46:44 +0200 |
wenzelm |
\usepackage[english]{babel} (required for guillemots);
|
file |
diff |
annotate
|
Fri, 25 May 2007 18:08:47 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Fri, 13 Apr 2007 21:26:35 +0200 |
wenzelm |
tuned document (headers, sections, spacing);
|
file |
diff |
annotate
|
Tue, 27 Feb 2007 00:32:52 +0100 |
wenzelm |
\usepackage{amssymb};
|
file |
diff |
annotate
|
Mon, 06 Nov 2006 16:28:33 +0100 |
haftmann |
added state monad to HOL library
|
file |
diff |
annotate
|
Fri, 08 Jul 2005 11:39:44 +0200 |
nipkow |
moved Davenport citation to Main, removed author list
|
file |
diff |
annotate
|
Thu, 06 May 2004 14:14:18 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
Fri, 16 Apr 2004 13:51:04 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
Fri, 18 Jan 2002 18:35:39 +0100 |
wenzelm |
fixed document setup of HOL-Library;
|
file |
diff |
annotate
|
Fri, 18 Jan 2002 15:17:47 +0100 |
wenzelm |
moved document sources to proper place, *within* Library/Library (!);
|
file |
diff |
annotate
|