Tue, 16 Mar 2010 06:55:01 +0100 | haftmann | adjusted to changes in Finite_Set | changeset | files |
Mon, 15 Mar 2010 22:22:28 +0100 | wenzelm | merged | changeset | files |
Mon, 15 Mar 2010 17:34:03 +0100 | nipkow | merged | changeset | files |
Mon, 15 Mar 2010 17:33:41 +0100 | nipkow | tuned inductions | changeset | files |
Mon, 15 Mar 2010 21:59:28 +0100 | wenzelm | tuned; | changeset | files |
Mon, 15 Mar 2010 21:57:35 +0100 | wenzelm | moved old Sign.intern_term to the place where it is still used; | changeset | files |
Mon, 15 Mar 2010 20:27:23 +0100 | wenzelm | preserve full const name more carefully, and avoid slightly odd Sign.intern_term; | changeset | files |