| Sat, 08 Jan 2011 14:32:55 +0100 |
wenzelm |
added Context_Position.is_visible_proof, which treats a global theory as invisible (unlike the default);
|
changeset |
files
|
| Sat, 08 Jan 2011 14:30:54 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 08 Jan 2011 00:28:31 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 08 Jan 2011 00:02:11 +0100 |
wenzelm |
tuned headers;
|
changeset |
files
|
| 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
|
| 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
|