Thu, 03 Nov 2005 00:43:50 +0100 |
huffman |
changed iterate to a continuous type
|
file |
diff |
annotate
|
Tue, 06 Sep 2005 19:28:58 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Thu, 07 Jul 2005 19:40:00 +0200 |
huffman |
fixes to work with UU_reorient_simproc
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Fri, 03 Jun 2005 23:37:21 +0200 |
huffman |
fixed some renamed theorems
|
file |
diff |
annotate
|
Tue, 07 Sep 2004 16:02:42 +0200 |
oheimb |
integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Mon, 12 Apr 2004 12:18:48 +0200 |
oheimb |
added Streams.thy (with stream concatenation etc.)
|
file |
diff |
annotate
|
Thu, 28 Aug 2003 01:56:40 +0200 |
skalberg |
Extended the notion of letter and digit, such that now one may use greek,
|
file |
diff |
annotate
|
Sat, 03 Nov 2001 18:41:28 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Thu, 31 May 2001 16:52:47 +0200 |
oheimb |
added stream length, map, and filter
|
file |
diff |
annotate
|
Wed, 28 Jun 2000 10:54:21 +0200 |
paulson |
tidying and unbatchifying
|
file |
diff |
annotate
|
Tue, 04 Nov 1997 14:40:29 +0100 |
oheimb |
* removed "axioms" and "generated by" section
|
file |
diff |
annotate
|
Fri, 31 Jan 1997 16:56:32 +0100 |
oheimb |
added Classlib.* and Witness.*,
|
file |
diff |
annotate
|