| Thu, 08 Jun 2017 12:25:59 +0200 |
wenzelm |
clarified;
|
changeset |
files
|
| Thu, 08 Jun 2017 23:37:01 +0200 |
boehmes |
replace non-arithmetic terms by fresh variables before replaying linear-arithmetic proofs: avoid failed proof replays due to an overambitious simpset which may cause proof replay to diverge from the pre-computed proof trace
|
changeset |
files
|
| Wed, 07 Jun 2017 23:23:48 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 07 Jun 2017 21:19:33 +0200 |
wenzelm |
clarified output;
|
changeset |
files
|
| Wed, 07 Jun 2017 20:46:03 +0200 |
wenzelm |
more tooltips;
|
changeset |
files
|
| Wed, 07 Jun 2017 20:18:23 +0200 |
wenzelm |
clarified imports;
|
changeset |
files
|
| Wed, 07 Jun 2017 20:06:50 +0200 |
wenzelm |
update strictly local imports only;
|
changeset |
files
|
| Wed, 07 Jun 2017 19:41:05 +0200 |
wenzelm |
proper imports_base;
|
changeset |
files
|
| Wed, 07 Jun 2017 19:13:22 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 07 Jun 2017 15:52:18 +0200 |
wenzelm |
avoid redundant Preview documents;
|
changeset |
files
|
| Wed, 07 Jun 2017 17:11:45 -0400 |
hoelzl |
HOL-Probability: add measurable space for trees
|
changeset |
files
|
| Tue, 06 Jun 2017 23:13:53 +0200 |
wenzelm |
clarified import of loaded theory;
|
changeset |
files
|