| Sun, 21 Oct 2007 14:21:48 +0200 |
wenzelm |
modernized specifications ('definition', 'abbreviation', 'notation');
|
file |
diff |
annotate
|
| Sun, 19 Feb 2006 02:11:27 +0100 |
huffman |
use minimal imports
|
file |
diff |
annotate
|
| Fri, 03 Jun 2005 23:30:31 +0200 |
huffman |
replaced cont with cont_def
|
file |
diff |
annotate
|
| Wed, 25 May 2005 09:44:34 +0200 |
wenzelm |
removed LICENCE note -- everything is subject to Isabelle licence as
|
file |
diff |
annotate
|
| Thu, 31 Mar 2005 02:52:49 +0200 |
huffman |
cleaned up some proofs
|
file |
diff |
annotate
|
| Tue, 08 Mar 2005 00:15:01 +0100 |
huffman |
added subsection headings, cleaned up some proofs
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 23:25:06 +0100 |
huffman |
add header
|
file |
diff |
annotate
|
| Wed, 02 Mar 2005 00:54:06 +0100 |
huffman |
converted to new-style theory
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Sat, 01 Dec 2001 18:52:32 +0100 |
wenzelm |
renamed class "term" to "type" (actually "HOL.type");
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 01:41:26 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Wed, 26 Mar 1997 17:58:48 +0100 |
nipkow |
Added "discrete" CPOs and modified IMP to use those rather than "lift"
|
file |
diff |
annotate
|