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.
compile
authorblanchet
Tue, 22 Mar 2016 13:32:40 +0100
changeset 62697 84a302ab9147
parent 62696 7325d8573fb8
child 62698 9d706e37ddab
compile
src/HOL/Datatype_Examples/Lift_BNF.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Datatype_Examples/Lift_BNF.thy	Tue Mar 22 12:39:37 2016 +0100
+++ b/src/HOL/Datatype_Examples/Lift_BNF.thy	Tue Mar 22 13:32:40 2016 +0100
@@ -5,7 +5,7 @@
 Demonstration of the "lift_bnf" command.
 *)
 
-section {* Demonstration of the @{command lift_bnf} Command *}
+section {* Demonstration of the \textbf{lift_bnf} Command *}
 
 theory Lift_BNF
 imports Main
isabelle