Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new tutorial
authornipkow
Mon, 02 Apr 2012 13:47:00 +0200
changeset 47270 2511f3e84496
parent 47269 29aa0c071875
child 47271 b0b78ce6903a
child 47298 8b63aaec0a0e
child 47302 70239da25ef6
new tutorial
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle