rowandavies/sml-cidre — pull request #5 by robsimmons (2011-10-20 05:58:07+00:00)
Title: Back off on what the refined-basis list does

Backoff on the ambition for list.sml just a bit; it was causing problems with CMlib.