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.
inj_on
authornipkow
Tue, 14 Jul 1998 13:30:01 +0200
changeset 5140 216a5dab14b6
parent 5139 013ea0f023e3
child 5141 495a4f9af897
inj_on
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Jul 14 13:29:39 1998 +0200
+++ b/NEWS	Tue Jul 14 13:30:01 1998 +0200
@@ -8,7 +8,7 @@
 *** Overview of INCOMPATIBILITIES (see below for more details) ***
 
 * HOL/inductive requires Inductive.thy as an ancestor;
-
+* `inj_onto' is now called `inj_on' (which makes more sense)
 
 *** Proof tools ***
isabelle