커밋 기록

작성자 SHA1 메시지 날짜
  Mike Sperber faf3fd4004 Add author information to the best of my abilities. 13 년 전
  Mike Sperber 6dee3b9250 Fix up copyright notices. 14 년 전
  Robert Ransom 5edd3e130f Add test suite for n-ary comparisons. 15 년 전
  Mike Sperber 0bd20b9cb0 Avoid more normalizations, and typecheck all arguments to n-ary comparisons. 15 년 전
  Mike Sperber a032fb9b21 Avoid renormalizing on -ci comparisons. 15 년 전
  Mike Sperber 1d6af2a74d Add missing file. 15 년 전