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.
added dependency caveat
authoroheimb
Fri, 07 Jul 2000 16:48:12 +0200
changeset 9277 a0a7c31cdc39
parent 9276 9e619ac0fe2f
child 9278 0b8e87bb91d9
added dependency caveat
src/HOL/IMP/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/IMP/ROOT.ML	Fri Jul 07 16:47:56 2000 +0200
+++ b/src/HOL/IMP/ROOT.ML	Fri Jul 07 16:48:12 2000 +0200
@@ -1,7 +1,7 @@
-(*  Title:      HOL/IMP/ROOT.ML
-    ID:         $Id$
-    Author:     Heiko Loetzbeyer, Robert Sandner, Tobias Nipkow
-    Copyright   1995 TUM
+(*  Title:     HOL/IMP/ROOT.ML
+    ID:        $Id$
+    Author:    Heiko Loetzbeyer, Robert Sandner, Tobias Nipkow, David von Oheimb
+    Copyright  1995 TUM
 
 Caveat: HOLCF/IMP depends on HOL/IMP
 *)
isabelle