| Fri, 07 Jan 2011 23:46:06 +0100 | wenzelm | merged | changeset | files |
| Fri, 07 Jan 2011 18:10:43 +0100 | bulwahn | adding example theory for list comprehension to set comprehension simproc | changeset | files |
| Fri, 07 Jan 2011 18:10:42 +0100 | bulwahn | adopting proofs due to new list comprehension to set comprehension simproc | changeset | files |
| Fri, 07 Jan 2011 18:10:35 +0100 | bulwahn | adding simproc to rewrite list comprehensions to set comprehensions; adopting proofs | changeset | files |