Thu, 08 Dec 2005 12:50:03 +0100 | wenzelm | Classical.swap; | file | diff | annotate |
Tue, 06 Dec 2005 17:26:26 +0100 | haftmann | removed thms 'swap' and 'nth_map' from ML toplevel | file | diff | annotate |
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 |
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 |