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

retouches

This commit is contained in:
Burkhart Wolff 2018-03-28 21:08:37 +02:00
parent 7305efc159
commit 9dfa14eaea
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/simple/Example.thy
View File

@ -31,7 +31,7 @@ paragraph* [sdfk] \<open> just a paragraph - lexical variant \<close>
subsection*[sdf]{* shouldn't work, multiple ref. *}
section*[sedf::requirement]{* works again. One can hover over the class constraint and
section*[sedf::requirement, alpja= refl]{* works again. One can hover over the class constraint and
jump to its definition. *}
text\<open>\label{sedf}\<close> (* Hack to make the LaTeX-ing running. Should disappear. *)

2
ontologies/LNCS_onto.thy
View File

@ -1,7 +1,7 @@
text{* dfgdfg n*}
theory LNCS_onto
imports "../Isa_DOF"
imports "../Isa_DOF"
begin
doc_class title =