Wed May 14 03:45:47 PDT 2008 golubovsky at gmail.com * Ad[_^H_][_^H_]Core file ins[_^H_]cluded for demo purposes. A ./src/translator/erlang/00proof/hs_test1.core View patch online: http://darcs.haskell.org/yhc/_darcs/patches/20080514104547-29b23-0bb39eff6c704d23c9e99c4dc08ca5a71ae283db.gz