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.
HOL-Statespace;
authorwenzelm
Sun, 11 Nov 2007 16:50:27 +0100
changeset 25398 35f600d9bf06
parent 25397 82deaaba928d
child 25399 595da5b9854b
HOL-Statespace;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Sun Nov 11 16:45:47 2007 +0100
+++ b/CONTRIBUTORS	Sun Nov 11 16:50:27 2007 +0100
@@ -7,6 +7,9 @@
 Contributions to Isabelle 2007
 ------------------------------
 
+* October 2007: Normer Schirmer, TUM / Uni Saarbruecken
+  State Spaces: The Locale Way (in HOL).
+
 * October 2007: Mark A. Hillebrand, DFKI
   Robust sub/superscripts in LaTeX document output.
isabelle