diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-11-20 10:45:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-11-20 10:45:22 -0500 |
| commit | 61c8fdf76c28f65b8b483f68d2d1f5597fdf58ce (patch) | |
| tree | e61d2420230a82c747cb1a257ecb129179d95019 /src/settings.sml | |
| parent | f21f9e29d19a8b241c1d6d790904001fdf384d59 (diff) | |
queryL1 and List.sort
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions