| Wed, 08 Oct 2008 19:30:15 +0200 | wenzelm | added HOL-Main; | changeset | files |
| Wed, 08 Oct 2008 19:20:29 +0200 | wenzelm | setmp_noncritical makes it work with future scheduler; | changeset | files |
| Wed, 08 Oct 2008 18:09:36 +0200 | paulson | The result of the equality inference rule no longer undergoes factoring. | changeset | files |