pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix typo

This commit is contained in:
Nicolas Méric 2022-02-08 15:40:48 +01:00
parent 31de87dfca
commit 4cfb33856b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/scholarly_paper/2021-ITP-PMTI/paper.thy
View File

@ -1039,7 +1039,7 @@ definition Computer_Hardware_to_Hardware_morphism :: "'a Computer_Hardware_schem
To check the coherence of our local ontology, we define a relationship between the local ontology To check the coherence of our local ontology, we define a relationship between the local ontology
and the reference ontology using morphism functions (or mapping rules as in ATL framwork~@{cite "atl"} and the reference ontology using morphism functions (or mapping rules as in ATL framework~@{cite "atl"}
or EXPRESS-X language~@{cite "BGPP95"}). These rules are applied to define the relationship or EXPRESS-X language~@{cite "BGPP95"}). These rules are applied to define the relationship
between one class of the local ontology to one or several other class(es) described in the reference between one class of the local ontology to one or several other class(es) described in the reference
ontology. ontology.