Permalink
Switch branches/tags
Nothing to show
Commits on Aug 2, 2009
  1. Add alg

    dharmatech committed Aug 2, 2009
  2. Add files for tokenizer

    dharmatech committed Aug 2, 2009
Commits on Jul 29, 2009
Commits on Jul 27, 2009
  1. simplify: overhaul part 3

    dharmatech committed Jul 27, 2009
  2. simplify: Big refactoring

    dharmatech committed Jul 27, 2009
Commits on Jul 22, 2009
Commits on Jul 19, 2009
  1. expand: overhaul

    dharmatech committed Jul 19, 2009
  2. to-alg: Add case for '='

    dharmatech committed Jul 19, 2009
Commits on Jul 16, 2009
  1. Add clause to 'exponent'

    dharmatech committed Jul 16, 2009
  2. Add two more examples

    dharmatech committed Jul 16, 2009
  3. Add simplify-div-canonical

    dharmatech committed Jul 16, 2009
  4. Tweak 'simplify' rule

    dharmatech committed Jul 16, 2009
  5. Update examples

    dharmatech committed Jul 16, 2009
  6. Initial checkin

    dharmatech committed Jul 16, 2009