removed awkward sentence.

examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy

@@ -374,10 +374,10 @@ defined in the core ontology of \isadof):
 \begin{isar}
 datatype placement = h | t | b | ht | hb   
 doc_class figure   = text_section +
-   relative_width   :: "int" (* percent of textwidth *)    
-   src     :: "string"
-   placement :: placement 
-   spawn_columns :: bool <= True 
+   relative_width  :: "int" (* percent of textwidth *)    
+   src             :: "string"
+   placement       :: placement 
+   spawn_columns   :: bool <= True 
 \end{isar}
 \<close>
 figure*[fig_figures::figure,spawn_columns=False,relative_width="85",src="''figures/Dogfood-figures''"]

examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy

@@ -55,7 +55,7 @@ text\<open>
   for which further manual setup steps might be required or that are not fully tested. Also note 
   that the \LaTeX-class files required by the templates need to be already installed on your 
   system. This is mostly a problem for publisher specific templates (\eg, Springer's 
-  \path{llncs.cls}), which, due to copyright restrictions, cannot be distributed legally.
+  \path{llncs.cls}), which cannot be re-distributed due to copyright restrictions.
 \<close>
 
 subsection\<open>Ontologies\<close>

src/DOF/RegExpChecker.sml

@@ -1,16 +1,3 @@
-(*************************************************************************
- * Copyright (C) 
- *               2019      The University of Exeter 
- *               2018-2019 The University of Paris-Saclay
- *               2018      The University of Sheffield
- *
- * License:
- *   This program can be redistributed and/or modified under the terms
- *   of the 2-clause BSD-style license.
- *
- *   SPDX-License-Identifier: BSD-2-Clause
- *************************************************************************)
-
 structure RegExpChecker : sig
   type 'a equal
   type num