NEWS

 are generated into companion object of corresponding type class, to resolve
 some situations where ambiguities may occur.
 
 
 *** HOL ***
+
+* Number_Theory: algebraic foundation for primes: Introduction of 
+predicates "is_prime", "irreducible", a "prime_factorization" 
+function, the "factorial_ring" typeclass with instance proofs for 
+nat, int, poly.
+
+* Probability: Code generation and QuickCheck for Probability Mass 
+Functions.
 
 * Theory Set_Interval.thy: substantial new theorems on indexed sums
 and products.
 
 * Theory Library/LaTeXsugar.thy: New style "dummy_pats" for displaying