simplify

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13446 3260e6d1-4efc-4170-b0a7-36055960796d

LICENSE.thy

@@ -43,7 +43,7 @@ country us where \<open>USA\<close>
 holder brucker :: de where \<open>Achim D. Brucker\<close>
 holder cam :: uk where \<open>University of Cambridge\<close>
 holder chakravarty where \<open>Manuel M T Chakravarty\<close>
-holder contributors where \<open>contributors\<close>
+holder contributors where \<open>Contributors (in the changeset history)\<close>
 holder coutts where \<open>Duncan Coutts\<close>
 holder ethz :: ch where \<open>ETH Zurich\<close>
 holder huber where \<open>Benedikt Huber\<close>
@@ -89,9 +89,7 @@ project Isabelle_Meta_Model :: "3-Clause BSD" where \<open>A Meta-Model for the
 
 project Isabelle :: "3-Clause BSD" where \<open>
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
-\<close> defines 1986-2016 cam, tum, contributors
-          2013-2016 "u-psud"
-          2013-2016 "irt-systemx"
+\<close> defines 1986-2018 contributors
 
 project Haskabelle :: "3-Clause BSD" where \<open>
 Haskabelle --- Converting Haskell Source Files to Isabelle/HOL Theories.

src/compiler_generic/isabelle_home/src/HOL/ex/Isabelle_Cartouche_Examples.thy

@@ -38,8 +38,6 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  ******************************************************************************)
 
-chapter{* Part ... *}
-
 theory Isabelle_Cartouche_Examples
 imports Main
 begin

src/compiler_generic/isabelle_home/src/Pure/Isar/Isabelle_typedecl.thy

@@ -38,8 +38,6 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  ******************************************************************************)
 
-chapter{* Part ... *}
-
 theory Isabelle_typedecl
 imports Main
 begin

src/compiler_generic/isabelle_home/src/Tools/Code/Isabelle_code_runtime.thy

@@ -38,8 +38,6 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  ******************************************************************************)
 
-chapter{* Part ... *}
-
 theory  Isabelle_code_runtime
 imports Main
   keywords "code_reflect'" :: thy_decl

src/compiler_generic/isabelle_home/src/Tools/Code/Isabelle_code_target.thy

@@ -38,8 +38,6 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  ******************************************************************************)
 
-chapter{* Part ... *}
-
 theory  Isabelle_code_target
 imports Main
   keywords "lazy_code_printing" "apply_code_printing" "apply_code_printing_reflect"