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 reference to Slinds paper on TFL
authorpaulson
Fri, 28 Jun 1996 11:19:56 +0200
changeset 1838 91e0395adc72
parent 1837 ce5dc74dec97
child 1839 199243afac2b
Updated reference to Slinds paper on TFL
doc-src/ind-defs.bbl file | annotate | diff | comparison | revisions 
--- a/doc-src/ind-defs.bbl	Fri Jun 28 11:16:12 1996 +0200
+++ b/doc-src/ind-defs.bbl	Fri Jun 28 11:19:56 1996 +0200
@@ -162,7 +162,9 @@
 \bibitem{slind-tfl}
 Slind, K.,
 \newblock Function definition in higher-order logic,
-\newblock Tech. rep., T. U. Munich, 1996
+\newblock In {\em Theorem Proving in Higher Order Logics\/} (1996), J.~von
+  Wright, Ed.,
+\newblock In press
 
 \bibitem{szasz93}
 Szasz, N.,
isabelle