ANNOUNCE. The computer algebra program DoCon-2.01 is available at http://www.botik.ru/pub/local/Mechveliani/docon/2.01/ It is a slight development of DoCon-2. It works under GHC-4.08. With respect to basAlgPropos, DoCon has more complex architecture and is designed mainly for the mathematicians. ------------------ Sergey Mechveliani [EMAIL PROTECTED]