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.
Amine Chaieb: experimental generic reflection and reification in HOL;
authorwenzelm
Sat, 05 Aug 2006 14:52:53 +0200
changeset 20340 6afc1c133b86
parent 20339 d001121600ac
child 20341 41e77e688886
Amine Chaieb: experimental generic reflection and reification in HOL;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Sat Aug 05 00:52:17 2006 +0200
+++ b/CONTRIBUTORS	Sat Aug 05 14:52:53 2006 +0200
@@ -1,6 +1,10 @@
+
 Contributions to Isabelle
 -------------------------
 
+* August 2006: Amine Chaieb, TUM
+  Experimental support for generic reflection and reification in HOL.
+
 * July 2006: Rafal Kolanski, NICTA
   Hex (0xFF) and binary (0b1011) numerals.
isabelle