Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-12 18:04:02 -0800 (Thu, 12 Jan 2006)
Revision: 8461
Log message:
The Itt_hoas_util.elim_bdepth rule ("OmegaT is failing on some artihmetic, so
make it simpler.") is no longer needed.
Changes | Path |
+0 -21 | metaprl/theories/itt/reflection/experimental/itt_hoas_util.ml |