| Tue, 21 Feb 2012 09:17:53 +0100 |
huffman |
renamed ex/Numeral.thy to ex/Numeral_Representation.thy
|
changeset |
files
|
| Tue, 21 Feb 2012 08:15:42 +0100 |
haftmann |
reverting changesets from 5d33a3269029 on: change of order of declaration of classical rules makes serious problems
|
changeset |
files
|
| Mon, 20 Feb 2012 21:04:00 +0100 |
haftmann |
tuned whitespace
|
changeset |
files
|
| Mon, 20 Feb 2012 08:01:08 +0100 |
haftmann |
tuned proof
|
changeset |
files
|
| Sun, 19 Feb 2012 15:40:58 +0100 |
haftmann |
tuned proof
|
changeset |
files
|
| Sun, 19 Feb 2012 15:30:35 +0100 |
haftmann |
distributed lattice properties of predicates to places of instantiation
|
changeset |
files
|
| Mon, 20 Feb 2012 15:17:03 +0100 |
bulwahn |
removing some unnecessary premises from Divides
|
changeset |
files
|
| Mon, 20 Feb 2012 14:23:46 +0100 |
huffman |
simplify projections on simultaneous computations of div and mod; tuned structure (from Florian Haftmann)
|
changeset |
files
|
| Mon, 20 Feb 2012 22:35:32 +0100 |
wenzelm |
observe HEIGHT of overview ticks;
|
changeset |
files
|
| Mon, 20 Feb 2012 20:24:01 +0100 |
wenzelm |
more careful painting of overview component: more precise and more efficient;
|
changeset |
files
|
| Mon, 20 Feb 2012 15:36:48 +0100 |
wenzelm |
clarified initial process startup errors: recover image load failure message (cf. 2cb7e34f6096) and suppress accidental output from raw ML toplevel;
|
changeset |
files
|
| Mon, 20 Feb 2012 12:37:17 +0100 |
huffman |
use qualified constant names instead of suffixes (from Florian Haftmann)
|
changeset |
files
|