| Wed, 19 Jan 2011 20:01:18 +0100 | bulwahn | fixing list_to_set_comprehension simproc | file | diff | annotate |
| Tue, 11 Jan 2011 17:38:03 +0100 | krauss | eliminated duplication | file | diff | annotate |
| Mon, 10 Jan 2011 15:19:48 +0100 | wenzelm | standardized split_last/last_elem towards List.last; | file | diff | annotate |
| Mon, 10 Jan 2011 08:18:49 +0100 | bulwahn | removing dead code; tuned | file | diff | annotate |
| Mon, 10 Jan 2011 08:18:48 +0100 | bulwahn | made SML/NJ happy | file | diff | annotate |
| Sat, 08 Jan 2011 00:02:11 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Fri, 07 Jan 2011 18:10:35 +0100 | bulwahn | adding simproc to rewrite list comprehensions to set comprehensions; adopting proofs | file | diff | annotate |