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.
Norbert Schirmer: record improvements;
authorwenzelm
Mon, 01 Oct 2007 21:19:50 +0200
changeset 24803 38577b4b1fde
parent 24802 6bd8ec8f3fc8
child 24804 513bb015b469
Norbert Schirmer: record improvements;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Mon Oct 01 21:19:49 2007 +0200
+++ b/CONTRIBUTORS	Mon Oct 01 21:19:50 2007 +0200
@@ -27,6 +27,9 @@
 * 2007: Stefan Berghofer, TUM
   HOL: inductive predicates.
 
+* 2007: Norbert Schirmer, TUM
+  HOL/record: misc improvements.
+
 * 2006/2007: Alexander Krauss, TUM
   HOL: function package and related theories on termination.
isabelle