| Fri, 28 May 2010 13:49:21 +0200 |
blanchet |
make sure chained facts appear in Isar proofs generated by Sledgehammer -- otherwise the proof won't work
|
changeset |
files
|
| Thu, 27 May 2010 17:22:16 +0200 |
blanchet |
Nitpick: show "..." in datatype values (e.g., [{0::nat, ...}]), since these are really equivalence classes
|
changeset |
files
|
| Thu, 27 May 2010 16:42:03 +0200 |
blanchet |
make Nitpick "show_all" option behave less surprisingly
|
changeset |
files
|
| Fri, 28 May 2010 13:37:47 +0200 |
haftmann |
merged
|
changeset |
files
|
| Fri, 28 May 2010 13:37:29 +0200 |
haftmann |
avoid reference to thm PairE
|
changeset |
files
|
| Fri, 28 May 2010 13:37:28 +0200 |
haftmann |
more coherent theory structure; tuned headings
|
changeset |
files
|
| Fri, 28 May 2010 18:15:22 +0200 |
wenzelm |
made SML/NJ quite happy;
|
changeset |
files
|
| Fri, 28 May 2010 17:48:18 +0200 |
wenzelm |
reuse main view.font from jEdit;
|
changeset |
files
|
| Fri, 28 May 2010 16:01:25 +0200 |
wenzelm |
deleted some old fonts;
|
changeset |
files
|
| Fri, 28 May 2010 15:57:25 +0200 |
wenzelm |
also set font for printing, which actually works out of the box;
|
changeset |
files
|
| Fri, 28 May 2010 15:17:17 +0200 |
wenzelm |
lib/Tools/makeall does not hardiwre logics;
|
changeset |
files
|
| Fri, 28 May 2010 11:37:38 +0200 |
wenzelm |
discontinued Sun/Solaris tests;
|
changeset |
files
|