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

Update Lib ADT

The current set of module is at 
  http://home.t-online.de/home/mvacken/

Changes:

1998-08-14  Michael van Acken  <acken@informatik.uni-kl.de>

        * StSetsInt.Mod: Renamed `EmptyIntersection' to `Disjoint'.
        Added minimalistic specs for the procedures.

1998-08-09  Michael van Acken  <acken@informatik.uni-kl.de>

        * StSetsInt.Mod: New file.

If you have a module or a module draft you would like to see included
in this collection, please throw it in my direction.

-- mva