[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

P.S.: Basic Datatypes -- ASCII-Version



Dear friends,

P.S.: The "Basic Datatypes" of note M-6, version 0.2, are also available
as ASCII-file at

    http://www.informatik.uni-bremen.de/~cofi/CASL/lib/basic/

This file has been successfully parsed by the Bremen parser, version
0.21.

Greetings
  Markus and Till