| Tue, 20 Oct 2009 20:03:23 +0200 |
wenzelm |
modernized session SET_Protocol;
|
changeset |
files
|
| Tue, 20 Oct 2009 19:52:04 +0200 |
wenzelm |
modernized session Metis_Examples;
|
changeset |
files
|
| Tue, 20 Oct 2009 19:37:09 +0200 |
wenzelm |
modernized session Isar_Examples;
|
changeset |
files
|
| Tue, 20 Oct 2009 19:36:52 +0200 |
wenzelm |
tuned header;
|
changeset |
files
|
| Tue, 20 Oct 2009 19:29:24 +0200 |
wenzelm |
more accurate dependencies for HOL-SMT, which is a session with image;
|
changeset |
files
|
| Tue, 20 Oct 2009 19:28:01 +0200 |
wenzelm |
removed unused map_force;
|
changeset |
files
|
| Tue, 20 Oct 2009 15:02:48 +0100 |
paulson |
Removal of the unused atpset concept, the atp attribute and some related code.
|
changeset |
files
|
| Tue, 20 Oct 2009 15:03:17 +0200 |
boehmes |
additional schematic rules for Z3's rewrite rule
|
changeset |
files
|
| Tue, 20 Oct 2009 14:44:19 +0200 |
nipkow |
merged
|
changeset |
files
|
| Tue, 20 Oct 2009 14:44:02 +0200 |
nipkow |
added Hilbert_Choice section
|
changeset |
files
|
| Tue, 20 Oct 2009 14:22:54 +0200 |
boehmes |
merged
|
changeset |
files
|
| Tue, 20 Oct 2009 14:22:02 +0200 |
boehmes |
eliminated extraneous wrapping of public records,
|
changeset |
files
|
| Tue, 20 Oct 2009 12:06:17 +0200 |
boehmes |
proper exceptions instead of unhandled partiality
|
changeset |
files
|
| Tue, 20 Oct 2009 13:37:56 +0200 |
nipkow |
footnote: inv via inv_onto
|
changeset |
files
|