Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-04-03 19:07:02 -0700 (Mon, 03 Apr 2006)
Revision: 9014
Log message:
Wrote another elimination tactic.
| Changes | Path |
| +2 -4 | metaprl/filter/base/filter_reflection.ml |
| +0 -1 | metaprl/filter/filter/filter_reflect.ml |
| +1 -1 | metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_elim.ml |