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.
tuned;
authorwenzelm
Thu, 19 Oct 2000 02:19:57 +0200
changeset 10270 6086be03a80b
parent 10269 cc20c9d7e682
child 10271 45b996639c45
tuned;
src/HOL/Library/document/root.bib file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/document/root.bib	Thu Oct 19 01:48:26 2000 +0200
+++ b/src/HOL/Library/document/root.bib	Thu Oct 19 02:19:57 2000 +0200
@@ -1,7 +1,7 @@
 
 @InProceedings{Slotosch:1997,
   author = 	 {Oscar Slotosch},
-  title = 	 {FIXME},
+  title = 	 {Higher Order Quotients and their Implementation in {Isabelle HOL}},
   crossref =     {tphols97}}
 
 @InProceedings{paulin-tlca,
isabelle