Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/Eisbach/Preface.thy
changeset 76987 4c275405faae
parent 75160 d48998648281 
--- a/src/Doc/Eisbach/Preface.thy	Sun Jan 15 16:28:03 2023 +0100
+++ b/src/Doc/Eisbach/Preface.thy	Sun Jan 15 18:30:18 2023 +0100
@@ -6,7 +6,7 @@
 
 text \<open>
   \<^emph>\<open>Eisbach\<close> is a collection of tools which form the basis for defining new
-  proof methods in Isabelle/Isar~@{cite "Wenzel-PhD"}. It can be thought of as
+  proof methods in Isabelle/Isar~\<^cite>\<open>"Wenzel-PhD"\<close>. It can be thought of as
   a ``proof method language'', but is more precisely an infrastructure for
   defining new proof methods out of existing ones.
isabelle