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.
merged
authorberghofe
Mon, 02 Apr 2012 14:09:27 +0200
changeset 47298 8b63aaec0a0e
parent 47297 de84dd9a9dd4 (current diff)
parent 47270 2511f3e84496 (diff)
child 47299 e705ef5ffe95
merged
--- a/NEWS	Mon Apr 02 13:58:59 2012 +0200
+++ b/NEWS	Mon Apr 02 14:09:27 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