Reminder: Basic datatypes

[till@informatik.uni-bremen.de]

Dear friends,

we want to remind you that the deadline for comments on
the style of the basic datatypes is today.
Since this reminder (which was ment to be
sent on Wednesday) comes a bit late,
we extend the deadline until

**** Moday 22nd Jan ****

After this deadline, based on your reactions we intend to rewrite 
the whole library of Basic Datatypes, in order to get them into
a shape that allows including them in the CASL books.


Greetings,
Till
-- 
Till Mossakowski                Phone: +49-421-218-4683, monday:
+49-4252-1859
Dept. of Computer Science       Fax:   +49-421-218-3054
University of Bremen            EMail: till@tzi.de           
P.O.Box 330440, D-28334 Bremen  WWW:   http://www.informatik.uni-bremen.de/~till