Fri, 25 Jun 2010 16:03:34 +0200 | blanchet | fewer dependencies | changeset | files |
Fri, 25 Jun 2010 15:59:13 +0200 | blanchet | more intra-module dependency cleanup + merge "const" and "type_const" tables, since this is safe | changeset | files |
Fri, 25 Jun 2010 15:30:38 +0200 | blanchet | more moving around of ML files in "Sledgehammer.thy" | changeset | files |
Fri, 25 Jun 2010 15:22:12 +0200 | blanchet | got rid of needless exception | changeset | files |