Tue, 06 Sep 2005 21:51:17 +0200 |
wenzelm |
converted to Isar theory format;
|
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
|
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
|
Mon, 05 Aug 2002 14:32:56 +0200 |
berghofe |
Replaced nat_ind_tac by induct_tac.
|
file |
diff |
annotate
|
Wed, 03 Oct 2001 20:54:16 +0200 |
wenzelm |
tuned parentheses in relational expressions;
|
file |
diff |
annotate
|
Thu, 31 May 2001 20:52:51 +0200 |
wenzelm |
tuned
|
file |
diff |
annotate
|
Thu, 31 May 2001 16:53:00 +0200 |
oheimb |
added FOCUS including the One-Element Buffer by Manfred Broy
|
file |
diff |
annotate
|