2010-10-03 | Chris Barker | Merge branch 'master' of ssh://server.philosophy.fas... | blob | commitdiff |
2010-10-03 | Jim Pryor | add list_equal to library (commented out) | blob | commitdiff |
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 |