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.
updated header;
authorwenzelm
Wed, 31 Dec 2008 19:56:38 +0100
changeset 29280 c5531bf7c6b2
parent 29279 7456a64bc4f6
child 29281 b22ccb3998db
updated header;
src/Pure/term.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/term.ML	Wed Dec 31 19:54:04 2008 +0100
+++ b/src/Pure/term.ML	Wed Dec 31 19:56:38 2008 +0100
@@ -1,5 +1,6 @@
 (*  Title:      Pure/term.ML
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Author:     Makarius
 
 Simply typed lambda-calculus: types, terms, and basic operations.
 *)
isabelle