Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/ex/Stream.thy
changeset 9169 85a47aa21f74
parent 4122 f63c283cefaf
child 11348 e08a0855af67 
--- a/src/HOLCF/ex/Stream.thy	Wed Jun 28 10:52:02 2000 +0200
+++ b/src/HOLCF/ex/Stream.thy	Wed Jun 28 10:54:21 2000 +0200
@@ -1,5 +1,5 @@
-(*  Title: 	FOCUS/Stream.thy
-    ID:         $ $
+(*  Title: 	HOLCF/ex//Stream.thy
+    ID:         $Id$
     Author: 	Franz Regensburger, David von Oheimb
     Copyright   1993, 1995 Technische Universitaet Muenchen
isabelle