2009-01-29 | kim | Some more bugfixing for the contains. | blob | commitdiff | raw |
2009-01-27 | kim | Eta expand (land) and (lor) to fun a b -> a land b | blob | commitdiff | raw | diff to current |
2009-01-27 | kim | . | blob | commitdiff | raw | diff to current |
2008-11-21 | kim | Initial commit | blob | commitdiff | raw | diff to current |