| Wed, 15 Apr 2015 13:55:01 +0200 |
wenzelm |
GUI controls for ML_statistics, for more digestible protocol dump;
|
changeset |
files
|
| Wed, 15 Apr 2015 11:47:29 +0200 |
wenzelm |
more robust error handling of commands that are declared but not yet defined;
|
changeset |
files
|
| Tue, 14 Apr 2015 22:54:07 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Tue, 14 Apr 2015 22:50:11 +0200 |
wenzelm |
clarified sledgehammer options to approximate old-style diagnostic command;
|
changeset |
files
|
| Tue, 14 Apr 2015 16:47:55 +0200 |
nipkow |
prepared for more meta-simp rules (by Stefan Berghofer)
|
changeset |
files
|
| Tue, 14 Apr 2015 15:56:55 +0200 |
Andreas Lochbihler |
merged
|
changeset |
files
|
| Tue, 14 Apr 2015 14:15:10 +0200 |
Andreas Lochbihler |
add various lemmas about pmfs
|
changeset |
files
|
| Tue, 14 Apr 2015 14:14:43 +0200 |
Andreas Lochbihler |
lemmas about integrals over bind and join on measures
|
changeset |
files
|
| Tue, 14 Apr 2015 14:13:51 +0200 |
Andreas Lochbihler |
add lemmas
|
changeset |
files
|
| Tue, 14 Apr 2015 14:13:06 +0200 |
Andreas Lochbihler |
generalise lemmas;
|
changeset |
files
|
| Tue, 14 Apr 2015 14:12:19 +0200 |
Andreas Lochbihler |
add lemma about monotone convergence for countable integrals over arbitrary sequences
|
changeset |
files
|
| Tue, 14 Apr 2015 14:11:01 +0200 |
Andreas Lochbihler |
add lemmas about restrict_space
|
changeset |
files
|
| Tue, 14 Apr 2015 13:57:25 +0200 |
Andreas Lochbihler |
move lemma from AFP/Coinductive
|
changeset |
files
|
| Tue, 14 Apr 2015 13:56:34 +0200 |
Andreas Lochbihler |
move some lemmas from AFP/Coinductive
|
changeset |
files
|
| Tue, 14 Apr 2015 11:44:17 +0200 |
Andreas Lochbihler |
more lemmas about ereal
|
changeset |
files
|