| Wed, 28 Jan 2009 11:03:16 +0100 | haftmann | Plain, Main form meeting points in import hierarchy | changeset | files |
| Wed, 28 Jan 2009 11:02:12 +0100 | haftmann | added lemma abs_sng | changeset | files |
| Wed, 28 Jan 2009 11:02:12 +0100 | haftmann | nat is a bot instance | changeset | files |
| Wed, 28 Jan 2009 11:02:11 +0100 | haftmann | slightly adapted towards more uniformity with div/mod on nat | changeset | files |
| Wed, 28 Jan 2009 11:04:10 +0100 | haftmann | Reflection.thy now in HOL/Library | changeset | files |
| Wed, 28 Jan 2009 11:36:45 +0100 | wenzelm | more robust treatment of SwingUtilities.isEventDispatchThread; | changeset | files |
| Wed, 28 Jan 2009 10:43:31 +0100 | wenzelm | annotate shared vars as @volatile; | changeset | files |