2010-10-04 | Jim Pryor | Merge branch 'pryor' | blob | commitdiff |
2010-10-04 | Jim Pryor | assign 4: hints for list_equal | blob | commitdiff |
2010-10-04 | Chris Barker | edits | blob | commitdiff | diff to current |
2010-10-03 | Jim Pryor | library: 1st,2nd->fst,snd | blob | commitdiff | diff to current |
2010-10-03 | Chris Barker | Merge branch 'master' of ssh://server.philosophy.fas... | blob | commitdiff | diff to current |
2010-10-03 | Jim Pryor | add list_equal to library (commented out) | blob | commitdiff | diff to current |
2010-10-03 | Jim Pryor | library tweak | blob | commitdiff | diff to current |
2010-10-03 | Jim Pryor | Merge branch 'pryor' | blob | commitdiff | diff to current |
2010-10-03 | Jim Pryor | arithmetic -> lambda_library | blob | commitdiff | diff to current |