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.
TFL/dcterm.sml
changeset 3302 404fe31fd8d2
parent 3245 241838c01caf
child 3330 ab7161e593c8 
--- a/TFL/dcterm.sml	Thu May 22 15:11:56 1997 +0200
+++ b/TFL/dcterm.sml	Thu May 22 15:13:16 1997 +0200
@@ -1,3 +1,9 @@
+(*  Title:      TFL/dcterm
+    ID:         $Id$
+    Author:     Konrad Slind, Cambridge University Computer Laboratory
+    Copyright   1997  University of Cambridge
+*)
+
 (*---------------------------------------------------------------------------
  * Derived efficient cterm destructors.
  *---------------------------------------------------------------------------*)
isabelle