1. 29 Jun, 2011 3 commits
  2. 22 Jun, 2011 1 commit
  3. 18 Jun, 2011 2 commits
  4. 17 Jun, 2011 1 commit
  5. 16 Jun, 2011 3 commits
  6. 15 Jun, 2011 1 commit
  7. 13 Jun, 2011 1 commit
  8. 12 Jun, 2011 3 commits
  9. 11 Jun, 2011 2 commits
  10. 10 Jun, 2011 2 commits
  11. 07 Jun, 2011 4 commits
  12. 05 Jun, 2011 1 commit
    • Andrei Paskevich's avatar
      get rid of user-supplied ty_base · cbf0cede
      Andrei Paskevich authored
      What was its purpose in the first place? Integers are protected
      in Simplify anyway and then we can simply forget the difference
      between the infinite sorts (as we do in encoding_tptp).
      cbf0cede
  13. 04 Jun, 2011 3 commits
  14. 03 Jun, 2011 6 commits
  15. 02 Jun, 2011 1 commit
  16. 31 May, 2011 6 commits