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.
more refs;
authorwenzelm
Mon, 11 Oct 2010 21:10:50 +0100
changeset 39840 3eb0694e6fcb
parent 39839 08f59175e541
child 39841 c7f3efe59e4e
more refs;
doc-src/IsarImplementation/Thy/Logic.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarImplementation/Thy/Logic.thy	Mon Oct 11 21:05:01 2010 +0100
+++ b/doc-src/IsarImplementation/Thy/Logic.thy	Mon Oct 11 21:10:50 2010 +0100
@@ -619,7 +619,7 @@
   "d(\<alpha>\<^isub>i)"} for some @{text "\<alpha>\<^isub>i"} projected from @{text
   "\<^vec>\<alpha>"}.  Thus overloaded definitions essentially work by
   primitive recursion over the syntactic structure of a single type
-  argument.
+  argument.  See also \cite[\S4.3]{Haftmann-Wenzel:2006:classes}.
 *}
 
 text %mlref {*
isabelle