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.
contrapos
authorpaulson
Mon, 23 Oct 2000 10:20:55 +0200
changeset 10288 00abecbfa46a
parent 10287 9ab1671398a6
child 10289 475ea668c67d
contrapos
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Oct 23 10:16:52 2000 +0200
+++ b/NEWS	Mon Oct 23 10:20:55 2000 +0200
@@ -6,6 +6,8 @@
 
 * HOL: induct renamed to lfp_induct;
 
+* HOL: contrapos, contrapos2 renamed to contrapos_nn, contrapos_pp;
+
 
 *** Document preparation ***
isabelle