| Wed, 03 Dec 2008 20:45:42 -0800 |
huffman |
enable le_bin_simps and less_bin_simps for simplifying inequalities on numerals
|
changeset |
files
|
| Wed, 03 Dec 2008 20:24:17 -0800 |
huffman |
simplify proof of less_nat_number_of
|
changeset |
files
|
| Wed, 03 Dec 2008 15:04:37 -0800 |
huffman |
merged.
|
changeset |
files
|
| Wed, 03 Dec 2008 15:00:50 -0800 |
huffman |
fixed proofs due to changes in Int.thy
|
changeset |
files
|
| Wed, 03 Dec 2008 14:23:03 -0800 |
huffman |
cleaned up subsection headings;
|
changeset |
files
|
| Wed, 03 Dec 2008 21:22:38 +0100 |
wenzelm |
sources are not executable;
|
changeset |
files
|
| Wed, 03 Dec 2008 21:15:46 +0100 |
wenzelm |
eliminated traces of old Distribution directory;
|
changeset |
files
|
| Wed, 03 Dec 2008 21:02:20 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 03 Dec 2008 21:02:12 +0100 |
wenzelm |
remove *.lof as well;
|
changeset |
files
|
| Wed, 03 Dec 2008 15:59:56 +0100 |
haftmann |
merged
|
changeset |
files
|
| Wed, 03 Dec 2008 15:58:44 +0100 |
haftmann |
made repository layout more coherent with logical distribution structure; stripped some $Id$s
|
changeset |
files
|
| Wed, 03 Dec 2008 15:27:41 +0100 |
ballarin |
Sublocale: removed public after_qed; identifiers private to NewLocale.
|
changeset |
files
|
| Wed, 03 Dec 2008 15:26:46 +0100 |
ballarin |
Made global_note_qualified public.
|
changeset |
files
|
| Wed, 03 Dec 2008 14:02:24 +0000 |
webertj |
more examples
|
changeset |
files
|
| Wed, 03 Dec 2008 09:53:58 +0100 |
haftmann |
fixed typo
|
changeset |
files
|