Rosetta Strawman Updates

The following reflects updates to the usage guide associated with the
current release.  Chapters are indicated followed by changes within
the chapter and a list of known To Do items.  Change bars are included
in the document to reflect where changes occur in the text.  There is
not a one-to-one correspondance between notations in this file and
change bars in the text.

When versions are released to the web, content specific to the
distribution should be appened to the CHANGELOG file with a date stamp
for the web release.  There is no need to do this each time a CVS commit
occurs, only for officially released versions.

CVS tags should be generated for each release using the form usageX-Y
where X is the major release and Y is the update number.

Inquiries should be directed to perry.alexander@ieee.org.

------ Information specific to this distribution ------

Items, Variables, Values and Types

Mon Sep 16 14:48:22 CDT 2002
Removed changebars to begin next document version.

Mon Sep 23 13:10:03 CDT 2002
Added the negative real type negreal

Mon Sep 23 13:10:13 CDT 2002
Added the negative natural type negint

Mon Sep 23 13:14:52 CDT 2002
Changed the name posnat to posint to be consistent with negint

Mon Nov  4 11:14:42 CST 2002
Added explanitory text for use of operators over subtypes (posint,
posnat, etc) that are defined, but not closed over the type.

Mon Nov  4 11:15:19 CST 2002
Changed the definition of function subtyping to be contravariant as
suggested by Roberto and following Hehner.

Mon Nov 11 17:34:59 CST 2002
Added and defined the syntax for function extension.

Thu Nov 14 20:52:16 CST 2002
Qualified the definition of basic calculus functions to explicitly state
that solutions may not exist in certain circumstances.

Fri Nov 22 09:52:57 CST 2002
Change the selective union operator to || vs the original | to get rid of
conflict with case statement.

Fri Nov 22 10:04:57 CST 2002
Updated the format for unicode numbers.

Sun Nov 24 09:51:09 CST 2002
Added the function composition && as suggested by Peter.

Mon Jan 13 11:33:43 CST 2003
Added proposed section on multisets.

Mon Jan 13 11:33:53 CST 2003
Addressed Andy's comments.

Sun Feb 23 14:49:13 CST 2003
Integrated the multiset definition.

Sun Feb 23 14:49:39 CST 2003
Changed the extraction operator for sequences to generate a multiset


Expressions, Terms, Labeling and Facet Inclusion

Mon Jan 13 11:45:15 CST 2003
Corrected label exporting description.

Sun Feb 23 18:22:02 CST 2003
Added type inferencing rules for if, let, case, and various former
constructs.

Sun Feb 23 22:35:45 CST 2003
Added type inferencing rules for function application

Sun Feb 23 22:36:09 CST 2003
Added consistency theorems for declarations and terms

Wed Feb 26 13:01:09 CST 2003
Added type inferencing rules for constructive union application

Wed Feb 26 13:01:37 CST 2003
Added type inferencing rules to handle subtyping

Thu Feb 27 23:05:36 CST 2003
Added consistency theorems for variable and constant declarations

Thu Feb 27 23:06:14 CST 2003
Added consistency theorems for long and short function declaration
forms

Thu Feb 27 23:06:36 CST 2003
Added the let form to the definition of terms

Thu Feb 27 23:30:33 CST 2003
Added the definition of a declaration constant

Thu Feb 27 23:30:52 CST 2003
Added a definition of term consistency

Fri Feb 28 10:05:57 CST 2003
Added the definition of the set of legal types

Fri Feb 28 10:06:22 CST 2003
Added the legal type condition to consistency definitions

Fri Feb 28 11:15:52 CST 2003
Added a definition for facet consistency

Sat Mar  1 01:09:02 CST 2003
Added equivalences for mix-fix expressions and function application for
static semantics.

Sat Mar  1 18:55:48 CST 2003
Fixed typing rules over quantifiers


Facets and Packages

Fri Jan 24 12:16:44 CST 2003
Removed the begin keyword from the package definition.


Semantic Issues

Mon Sep 16 14:48:03 CDT 2002
Removed changebars to begin next document version.

------ End ------