Thu, 11 Mar 2010 15:52:34 +0100 | haftmann | replaced card_def by card_eq_setsum | changeset | files |
Thu, 11 Mar 2010 15:52:33 +0100 | haftmann | NEWS | changeset | files |
Thu, 11 Mar 2010 14:40:29 +0100 | haftmann | Big_Operators now in Main rather than Plain | changeset | files |
Thu, 11 Mar 2010 14:39:58 +0100 | haftmann | tuned prefixes of ac interpretations | changeset | files |
Thu, 11 Mar 2010 14:39:58 +0100 | haftmann | Big_Operators now in Main rather than Plain src/HOL/Wellfounded.thy | changeset | files |
Thu, 11 Mar 2010 14:38:20 +0100 | haftmann | fixed typo | changeset | files |