| Tue, 09 Aug 2016 11:57:24 +0200 |
eberlm |
Merged
|
changeset |
files
|
| Mon, 08 Aug 2016 17:47:51 +0200 |
eberlm |
is_prime -> prime
|
changeset |
files
|
| Mon, 08 Aug 2016 21:26:00 +0200 |
wenzelm |
Item_Net.retrieve_matching requires beta-eta normal form (amending 8976c5bc9e97);
|
changeset |
files
|
| Mon, 08 Aug 2016 19:39:23 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 08 Aug 2016 19:34:00 +0200 |
wenzelm |
tuned proof;
|
changeset |
files
|
| Mon, 08 Aug 2016 18:55:12 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 08 Aug 2016 18:52:09 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 08 Aug 2016 14:13:14 +0200 |
hoelzl |
rename HOL-Multivariate_Analysis to HOL-Analysis.
|
changeset |
files
|
| Fri, 05 Aug 2016 18:34:57 +0200 |
hoelzl |
move measure theory from HOL-Probability to HOL-Multivariate_Analysis
|
changeset |
files
|
| Sun, 07 Aug 2016 12:10:49 +0200 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| Sat, 06 Aug 2016 18:14:59 +0200 |
wenzelm |
more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
|
changeset |
files
|
| Sat, 06 Aug 2016 17:39:21 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|