log tests/rpcList2.ur

age author description
2011-08-21 Adam Chlipala Fix another list unurlification segfault bug; List.foldlMi
2011-08-21 Adam Chlipala Fix crash in list unurlification