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.
fixed text
authorhaftmann
Sat, 19 May 2007 11:33:30 +0200
changeset 23024 70435ffe077d
parent 23023 7b52c4fde622
child 23025 7507f94adc32
fixed text
src/HOL/ex/Unification.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Unification.thy	Sat May 19 11:33:28 2007 +0200
+++ b/src/HOL/ex/Unification.thy	Sat May 19 11:33:30 2007 +0200
@@ -15,7 +15,7 @@
 
   This is basically a modernized version of a previous formalization
   by Konrad Slind (see: HOL/Subst/Unify.thy), which itself builds on
-  previous work by Paulson and Manna & Waldinger (for details, see
+  previous work by Paulson and Manna @{text "&"} Waldinger (for details, see
   there).
 
   Unlike that formalization, where the proofs of termination and
isabelle