removing a bunch of comments/dead code
Merge branch 'master' of github.com:gmalecha/mirror-core
A revision of STac that focuses more on Result
updates to AutoProver.
updates to reduction
implicit arguments to STac combinators.
case analysis on any arrow in the premises
adding Assumption tactic.
Merge branch 'master' of github.com:gmalecha/mirror-core
committing LemmaApply.
Merge branch 'master' of github.com:gmalecha/mirror-core
An initial (unproven) implementation of rewrite.
Avoid definitions that just rename other ones.
lifting and mentions.
Autorewrite (unproven)

- A bug fix + a better interface.
- Performance seems comparable to [autorewrite]
- There is an instantiation in examples/Simple
sketch of a general substitute function.

- This interface isn't quite powerful to unify everything.
  In particular, it needs to communicate that the "none"
  results in exactly the unification variable.
Removing dead Auto examples.
Getting Auto/Demo working

- Add some more proofs to Simple
- Add proofs to syms/*
- Avoid including Expr from within Lambda
- Lambda/Expr exports more stuff.
The start of customizable reification.
working examples of Simple reification

- Added RConst