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.
spaces inserted in header
authorwebertj
Fri, 23 Sep 2005 16:05:10 +0200
changeset 17603 f601609d3300
parent 17602 63367feba417
child 17604 5f30179fbf44
spaces inserted in header
src/HOL/Reconstruction.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Reconstruction.thy	Fri Sep 23 16:01:45 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Fri Sep 23 16:05:10 2005 +0200
@@ -1,5 +1,5 @@
 (*  Title:      HOL/Reconstruction.thy
-    ID: $Id$
+    ID:         $Id$
     Author:     Lawrence C Paulson
     Copyright   2004  University of Cambridge
 *)
isabelle