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/FOCUS/Buffer_adm.thy
changeset 11355 778c369559d9
parent 11350 4c55b020d6ee
child 14981 e73f8140af78 
--- a/src/HOLCF/FOCUS/Buffer_adm.thy	Thu May 31 18:28:23 2001 +0200
+++ b/src/HOLCF/FOCUS/Buffer_adm.thy	Thu May 31 20:52:51 2001 +0200
@@ -1,5 +1,5 @@
 (*  Title: 	HOLCF/FOCUS/Buffer_adm.thy
-    ID:         $ $
+    ID:         $Id$
     Author: 	David von Oheimb, TU Muenchen
     License:    GPL (GNU GENERAL PUBLIC LICENSE)
isabelle