| 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 |
| Fri, 07 Jan 2011 17:58:51 +0100 | boehmes | tuned text | changeset | files |
| Fri, 07 Jan 2011 15:59:10 +0100 | bulwahn | merged | changeset | files |
| Fri, 07 Jan 2011 14:46:28 +0100 | bulwahn | removing obselete Id comments from HOL/ex theories | changeset | files |
| Fri, 07 Jan 2011 15:39:13 +0100 | boehmes | added hints about licensing restrictions and how to enable Z3 | changeset | files |