forked from Isabelle_DOF/Isabelle_DOF
kleinkram
This commit is contained in:
parent
1c558f89a3
commit
4c7a8ed91a
|
@ -40,9 +40,8 @@ text{* As mentioned in @{introduction \<open>intro\<close>} ... *}
|
||||||
@{thms ''[refl,sym]''}
|
@{thms ''[refl,sym]''}
|
||||||
*)
|
*)
|
||||||
|
|
||||||
|
|
||||||
update_instance*[bgrnd, main_author = "Some(''bu'')", formula="@{term ''a + b = b + a''}"]
|
update_instance*[bgrnd, main_author = "Some(''bu'')", formula="@{term ''a + b = b + a''}"]
|
||||||
|
|
||||||
section*[ontomod::technical]{* Modeling Ontologies in Isabelle_DOF *}
|
section*[ontomod::technical]{* Modeling Ontologies in Isabelle_DOF *}
|
||||||
text{* Lorem ipsum dolor sit amet, suspendisse non arcu malesuada mollis, nibh morbi,*}
|
text{* Lorem ipsum dolor sit amet, suspendisse non arcu malesuada mollis, nibh morbi,*}
|
||||||
|
|
||||||
|
|
Reference in New Issue