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.
more correct comment
authorhaftmann
Sat, 02 Jul 2016 08:41:05 +0200
changeset 63363 bd483ddb17f2
parent 63362 9321740ae1d4
child 63364 4fa441c2f20c
more correct comment
src/HOL/Binomial.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Binomial.thy	Fri Jul 01 16:52:54 2016 +0200
+++ b/src/HOL/Binomial.thy	Sat Jul 02 08:41:05 2016 +0200
@@ -2,7 +2,7 @@
     Author      : Jacques D. Fleuriot
     Copyright   : 1998  University of Cambridge
     Conversion to Isar and new proofs by Lawrence C Paulson, 2004
-    The integer version of factorial and other additions by Jeremy Avigad.
+    Various additions by Jeremy Avigad.
     Additional binomial identities by Chaitanya Mangla and Manuel Eberl
 *)
isabelle