next up previous contents
Next: References Up: A user's guide to Previous: History of the

Acknowledgements

We want to thank Thierry Coquand, Lena Magnusson and Johan Nordlander for all their efforts put into this project.



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