diff --git a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
index d5d07b7..5fc62f1 100755
--- a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
+++ b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
@@ -14,7 +14,7 @@
 
 \NeedsTeXFormat{LaTeX2e}\relax
 \ProvidesPackage{DOF-cenelec_50128}
-  [2019/08/18 Unreleased/Isabelle2020%
+  [<isadofltxversion>%
   Document-Type Support Framework for Isabelle (CENELEC 50128).]
 
 \RequirePackage{DOF-COL}
diff --git a/src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty b/src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty
index 7f88c19..5cb198d 100755
--- a/src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty
+++ b/src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty
@@ -13,7 +13,7 @@
 
 \NeedsTeXFormat{LaTeX2e}\relax
 \ProvidesPackage{DOF-scholarly_paper-thm}
-  [2020/01/14 Unreleased/Isabelle2020%
+  [<isadofltxversion>%
   Document-Type Support Framework for Isabelle (LNCS).]
 
 \RequirePackage{amsthm}
diff --git a/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty b/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty
index 58f2a9a..def9c64 100755
--- a/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty
+++ b/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty
@@ -14,7 +14,7 @@
 
 \NeedsTeXFormat{LaTeX2e}\relax
 \ProvidesPackage{DOF-scholarly_paper}
-  [2020/01/14 Unreleased/Isabelle2020%
+  [<isadofltxversion>%
   Document-Type Support Framework for Isabelle (LNCS).]
 
 \RequirePackage{DOF-COL}