| Sun, 15 Nov 2009 13:06:42 +0100 |
schirmer |
merged
|
changeset |
files
|
| Sun, 15 Nov 2009 13:06:07 +0100 |
schirmer |
added benchmark for large records
|
changeset |
files
|
| Sat, 14 Nov 2009 09:40:27 +0100 |
schirmer |
merged
|
changeset |
files
|
| Sat, 14 Nov 2009 09:31:54 +0100 |
schirmer |
clarified quick-and-dirty usage in record package;
|
changeset |
files
|
| Sun, 15 Nov 2009 00:34:21 +0100 |
wenzelm |
simplified bulky metis proofs;
|
changeset |
files
|
| Sun, 15 Nov 2009 00:23:26 +0100 |
wenzelm |
properly inlined @{lemma} antiqutations -- might also reduce proof terms a bit;
|
changeset |
files
|
| Sat, 14 Nov 2009 19:56:18 +0100 |
wenzelm |
moved old SList, LList, LFilter to AFP/Lazy-Lists-II;
|
changeset |
files
|
| Sat, 14 Nov 2009 18:45:24 +0100 |
wenzelm |
include HOL-Boogie keywords by default;
|
changeset |
files
|
| Sat, 14 Nov 2009 18:36:05 +0100 |
wenzelm |
eliminated obsolete CVS Ids;
|
changeset |
files
|
| Sat, 14 Nov 2009 18:16:13 +0100 |
wenzelm |
updated keywords;
|
changeset |
files
|
| Sat, 14 Nov 2009 18:15:21 +0100 |
wenzelm |
generate keywords for Emacs Proof General only;
|
changeset |
files
|
| Sat, 14 Nov 2009 18:14:00 +0100 |
wenzelm |
dismantled remains of old jEdit plugin;
|
changeset |
files
|