[om] a couple of questions

Steve Linton sal at dcs.st-and.ac.uk
Tue Apr 17 15:55:42 CEST 2001

The nicest solution perhaps would be to define a binding constructor for 
defining a finite set of bound variables. Then you could create a scope in 
which a, b, and c where the bound variables of this constructor, and even 
non-CD reading applications would know that only the names of a b and c were 
meaningful, and how far that meaning extended.


om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list