tuned;
authorwenzelm
Fri Jan 08 15:54:43 2016 +0100 (2016-01-08)
changeset 62098b1b2834bb493
parent 62097 634838f919e4
child 62099 650399eecf2b
tuned;
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Fri Jan 08 15:49:01 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Jan 08 15:54:43 2016 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  For the purposes of the license agreement in the file COPYRIGHT, a
     1.5 -'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
     1.6 -who is listed as an author in one of the source files of this Isabelle
     1.7 -distribution.
     1.8 +'contributor' is anybody who is listed in this file (CONTRIBUTORS) or who is
     1.9 +listed as an author in one of the source files of this Isabelle distribution.
    1.10 +
    1.11  
    1.12  Contributions to Isabelle2016
    1.13  -----------------------------
    1.14 @@ -696,3 +696,5 @@
    1.15  * 2004/2005: Tjark Weber, TUM
    1.16    SAT solver method using zChaff.
    1.17    Improved version of HOL/refute.
    1.18 +
    1.19 +:maxLineLen=78:
     2.1 --- a/NEWS	Fri Jan 08 15:49:01 2016 +0100
     2.2 +++ b/NEWS	Fri Jan 08 15:54:43 2016 +0100
     2.3 @@ -568,10 +568,9 @@
     2.4      being defined.
     2.5    - Avoid various internal name clashes (e.g., 'datatype f = f').
     2.6  
     2.7 -* Transfer:
     2.8 -  - new methods for interactive debugging of 'transfer' and
     2.9 -    'transfer_prover': 'transfer_start', 'transfer_step', 'transfer_end',
    2.10 -    'transfer_prover_start' and 'transfer_prover_end'.
    2.11 +* Transfer: new methods for interactive debugging of 'transfer' and
    2.12 +'transfer_prover': 'transfer_start', 'transfer_step', 'transfer_end',
    2.13 +'transfer_prover_start' and 'transfer_prover_end'.
    2.14  
    2.15  * Division on integers is bootstrapped directly from division on
    2.16  naturals and uses generic numeral algorithm for computations. Slight
    2.17 @@ -651,8 +650,9 @@
    2.18  * Library/Periodic_Fun: a locale that provides convenient lemmas for
    2.19  periodic functions.
    2.20  
    2.21 -* Library/Formal_Power_Series: proper definition of division (with remainder) 
    2.22 -for formal power series; instances for Euclidean Ring and GCD.
    2.23 +* Library/Formal_Power_Series: proper definition of division (with
    2.24 +remainder) for formal power series; instances for Euclidean Ring and
    2.25 +GCD.
    2.26  
    2.27  * HOL-Imperative_HOL: obsolete theory Legacy_Mrec has been removed.
    2.28