| 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 |