/ghci.tex/1.12/Tue Oct  3 12:47:44 2000//
D
