CASL - Basic Datatypes

[Markus Roggenbach <roba@tzi.de>]

Dear friends,

since the new version of the Basic Datatypes has not been read
by all people due to technical reasons, please now have a look at
 
http://www.informatik.uni-bremen.de/cofi/CASL/lib/BD_Discussion.html

and please answer 

                      ***before end of May*** 

to the following questions:
  
  * Is the style of the Nat specification now optimal? - if not,
    please suggest improvements!

  * Are the symbols used in the Nat specification optimal? 
    (see the signature, which is separately available) - if not,
    please suggest improvements!

  * Are the axioms used to specify Nat optimal? - if not,
    please suggest improvements!

  * Do you agree with the style of the other libraries? - if not,
    please suggest improvements!

[Note that after the deadline, the authors are going to produce a new
 (hopefully nearly final) version of the basic datatypes.  NOW is the
 LAST CHANCE to influence the general style of these libraries... --PDM]

Greetings,
  Markus, Till, Lutz

-- 
----------------------------------------------------------
Markus Roggenbach                Phone +49-421-218-4683
Dept. of Computer Science        Fax +49-421-218-3054
University of Bremen             roba@tzi.de           
P.O.Box 330440, D-28334 Bremen   http://www.informatik.uni-bremen.de/~roba
----------------------------------------------------------