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.
dropped parameter prefix for class theorems
authorhaftmann
Fri, 29 Aug 2008 07:43:25 +0200
changeset 28058 309c0a92e0da
parent 28057 6b90e6532d51
child 28059 295a8fc92684
dropped parameter prefix for class theorems
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Aug 28 22:26:23 2008 +0200
+++ b/NEWS	Fri Aug 29 07:43:25 2008 +0200
@@ -19,6 +19,9 @@
 
 *** Pure ***
 
+* Global versions of theorems stemming from classes do not carry
+a parameter prefix any longer.  INCOMPATIBILITY.
+
 * Dropped "locale (open)".  INCOMPATBILITY.
 
 * Command 'interpretation' no longer attempts to simplify goal.
isabelle