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

Updating Ontological Referencing Tests
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Burkhart Wolff 2023-03-01 22:18:48 +01:00
parent 1895d3b52c
commit 5411aa4d6b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF-Unit-Tests/Concept_Example.thy → Isabelle_DOF-Unit-Tests/Concept_OntoReferencing.thy
View File

@ -14,7 +14,7 @@
chapter\<open>Setting and modifying attributes of doc-items\<close>
theory
Concept_Example
Concept_OntoReferencing
imports
"Isabelle_DOF-Unit-Tests_document"
"Isabelle_DOF-Ontologies.Conceptual"