/Main.hs/1.1/Fri May 31 12:22:35 2002//
/While.hs/1.1/Fri May 31 12:22:35 2002//
/WhileAS.hs/1.1/Fri May 31 12:22:35 2002//
/fac.wh/1.1/Fri May 31 12:22:35 2002//
/fib.wh/1.1/Fri May 31 12:22:35 2002//
D
