| Wed, 28 Jan 2009 11:03:42 +0100 |
haftmann |
Plain, Main form meeting points in import hierarchy
|
changeset |
files
|
| 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
|
| Tue, 27 Jan 2009 19:56:26 +0100 |
wenzelm |
updated generated file;
|
changeset |
files
|
| Tue, 27 Jan 2009 19:56:20 +0100 |
wenzelm |
added label;
|
changeset |
files
|
| Tue, 27 Jan 2009 15:47:22 +0100 |
wenzelm |
plain non-dependent types;
|
changeset |
files
|
| Tue, 27 Jan 2009 15:22:46 +0100 |
wenzelm |
turned IsarDocument into trait for IsabelleProcess;
|
changeset |
files
|