Cleanup.

2023-03-15 11:22:36 +00:00 · 2023-03-15 11:22:36 +00:00 · caf966e3df
parent 6a1343fd06
commit caf966e3df
1 changed files with 0 additions and 1 deletions
--- a/Isabelle_DOF-Unit-Tests/TestKit.thy
+++ b/Isabelle_DOF-Unit-Tests/TestKit.thy
@ -191,4 +191,3 @@ text-latex\<open>dfg\<close>
 text-assert-error[aaaa::A]\<open> @{A \<open>sdf\<close>}\<close>\<open>reference ontologically inconsistent\<close>

 end
-(*>*)