# HG changeset patch
# User nipkow
# Date 1333367220 -7200
# Node ID 2511f3e8449628040b6e3bc41acb09765b001fd5
# Parent  29aa0c0718752f0faa264cb4a0679258022c04d0
new tutorial

diff -r 29aa0c071875 -r 2511f3e84496 NEWS
--- a/NEWS	Mon Apr 02 10:49:03 2012 +0200
+++ b/NEWS	Mon Apr 02 13:47:00 2012 +0200
@@ -95,6 +95,8 @@
 
 *** HOL ***
 
+* New tutorial Programming and Proving in Isabelle/HOL
+
 * The representation of numerals has changed. We now have a datatype
 "num" representing strictly positive binary numerals, along with
 functions "numeral :: num => 'a" and "neg_numeral :: num => 'a" to