Name Last modified Size Description Parent Directory - Makefile 1995-02-13 09:52 164 avl.3 1993-12-14 19:13 4.0K dfa.3 1998-09-30 15:55 23K dfa.3.pdf 1998-09-30 15:55 24K dfa.3.ps 1998-09-30 15:55 61K dfa.3ps 1994-01-18 20:40 55K