logicalhacking
diff --git a/Diff for: ‎src/ontologies/CENELEC_50128/CENELEC_50128.thy
100755100644 b/Diff for: ‎src/ontologies/CENELEC_50128/CENELEC_50128.thy
100755100644
diff --git a/Diff for: ‎src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
100755100644 b/Diff for: ‎src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
100755100644
diff --git a/Diff for: ‎src/ontologies/ontologies.thy
100755100644 b/Diff for: ‎src/ontologies/ontologies.thy
100755100644
diff --git a/Diff for: ‎src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty
100755100644 b/Diff for: ‎src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty
100755100644
diff --git a/Diff for: ‎src/ontologies/scholarly_paper/DOF-scholarly_paper.sty
100755100644 b/Diff for: ‎src/ontologies/scholarly_paper/DOF-scholarly_paper.sty
100755100644
diff --git a/Diff for: ‎src/ontologies/scholarly_paper/scholarly_paper.thy
100755100644 b/Diff for: ‎src/ontologies/scholarly_paper/scholarly_paper.thy
100755100644
diff --git a/Diff for: ‎src/ontologies/small_math/small_math.thy
100755100644 b/Diff for: ‎src/ontologies/small_math/small_math.thy
100755100644
diff --git a/Diff for: ‎src/ontologies/technical_report/DOF-technical_report.sty
100755100644 b/Diff for: ‎src/ontologies/technical_report/DOF-technical_report.sty
100755100644
diff --git a/Diff for: ‎src/ontologies/technical_report/technical_report.thy
100755100644 b/Diff for: ‎src/ontologies/technical_report/technical_report.thy
100755100644