maierj@asdec.ifi.uni-stuttgart.de (Joachim Maier) (02/21/90)
Hi, how can I get `Linda' for a Sequent Symmetry? Joachim Maier -- ------------------------------------------------------------------------------- Joachim Maier Tel.: +49 (0)711 121-1402 IPVR Fax: +49 (0)711 121-1424 Universitaet Stuttgart Azenbergstr. 12 X.400: maierj@ipvr.informatik.uni-stuttgart.dbp.de D-7000 Stuttgart 1 Internet: maierj@informatik.uni-stuttgart.de -------------------------------------------------------------------------------