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