next up previous contents
Next: Contents

A user's guide to ALF

Thorsten Altenkirch - Veronica Gaspes - Bengt Nordström - Björn von Sydow
Department of Computing Science
University of Göteborg/Chalmers
S-412 96 Göteborg Sweden

Draft Wed Mar 20 13:05:45 MET 1996





Bj|rn von Sydow
Wed Mar 20 13:05:14 MET 1996