Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ID for the file
authorregensbu
Tue, 07 Feb 1995 17:36:48 +0100
changeset 897 55d15c603e3a
parent 896 56b9c2626e81
child 898 4f9c8503d1c5
ID for the file
src/HOLCF/ex/Dagstuhl.ML file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:35:49 1995 +0100
+++ b/src/HOLCF/ex/Dagstuhl.ML	Tue Feb 07 17:36:48 1995 +0100
@@ -1,4 +1,7 @@
+(*
 (* $Id$ *)
+*)
+
 
 open Dagstuhl;
isabelle