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 |