# HG changeset patch
# User wenzelm
# Date 1152613050 -7200
# Node ID 5cf221f2a55dee73920a00798a3348e4651dd0d5
# Parent  d757ebadb0a218d8dff8dd764fdd56d7168e56d3
* Pure: structure Name;

diff -r d757ebadb0a2 -r 5cf221f2a55d NEWS
--- a/NEWS	Tue Jul 11 12:17:17 2006 +0200
+++ b/NEWS	Tue Jul 11 12:17:30 2006 +0200
@@ -594,6 +594,17 @@
 enforced instead of silently assumed.  INCOMPATIBILITY, may use
 Logic.legacy_(un)varify as temporary workaround.
 
+* Pure: structure Name provides scalable operations for generating
+internal variable names, notably Name.variants etc.  This replaces
+some popular functions from term.ML:
+
+  Term.variant		->  Name.variant
+  Term.variantlist	->  Name.variant_list  (*canonical argument order*)
+  Term.invent_names	->  Name.invent_list
+
+Note that low-level renaming rarely occurs in new code -- operations
+from structure Variable are used instead (see below).
+
 * Pure: structure Variable provides fundamental operations for proper
 treatment of fixed/schematic variables in a context.  For example,
 Variable.import introduces fixes for schematics of given facts and