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 |