Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Cleanup.

This commit is contained in:
Achim D. Brucker 2021-01-18 20:30:39 +00:00
parent 6ed771ef04
commit fc2817db0d
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
View File

@ -1,7 +1,7 @@
(************************************************************************* (*************************************************************************
* Copyright (C) * Copyright (C)
* 2019-2020 The University of Exeter * 2019-2021 The University of Exeter
* 2018-2020 The University of Paris-Saclay * 2018-2021 The University of Paris-Saclay
* 2018 The University of Sheffield * 2018 The University of Sheffield
* *
* License: * License:
@ -18,7 +18,7 @@ begin
section\<open>Local Document Setup.\<close> section\<open>Local Document Setup.\<close>
text\<open>... introducing document specific abbreviations and macros.\<close> text\<open>Introducing document specific abbreviations and macros:\<close>
define_shortcut* dof \<rightleftharpoons> \<open>\dof\<close> define_shortcut* dof \<rightleftharpoons> \<open>\dof\<close>
isadof \<rightleftharpoons> \<open>\isadof\<close> isadof \<rightleftharpoons> \<open>\isadof\<close>
@ -94,9 +94,6 @@ setup\<open>(* std_text_antiquotation \<^binding>\<open>my_text\<close> #
boxed_bash_antiquotation \<^binding>\<open>boxed_bash\<close> boxed_bash_antiquotation \<^binding>\<open>boxed_bash\<close>
\<close> \<close>
open_monitor*[this::report] open_monitor*[this::report]
(*>*) (*>*)