| Sun, 11 Feb 2018 18:09:17 +0100 |
Lars Hupel |
use preferred resolver according to DOI Handbook ยง3.8
|
file |
diff |
annotate
|
| Tue, 23 Jan 2018 12:28:46 +0100 |
Lars Hupel |
drop redundant cong rules
|
file |
diff |
annotate
|
| Mon, 22 Jan 2018 15:50:29 +0100 |
Lars Hupel |
tuned
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Tue, 19 Dec 2017 13:58:12 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Sun, 08 Oct 2017 22:28:20 +0200 |
haftmann |
avoid name clashes on interpretation of abstract locales
|
file |
diff |
annotate
|
| Thu, 31 Aug 2017 17:48:20 +0200 |
eberlm |
Connecting PMFs to infinite sums
|
file |
diff |
annotate
|
| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Mon, 26 Jun 2017 14:26:03 +0100 |
paulson |
A few renamings and several tidied-up proofs
|
file |
diff |
annotate
|
| Thu, 15 Jun 2017 17:22:23 +0100 |
paulson |
Some new material. SIMPRULE STATUS for sum/prod.delta rules!
|
file |
diff |
annotate
|
| Tue, 04 Apr 2017 08:57:21 +0200 |
eberlm |
moved material from AFP to distribution
|
file |
diff |
annotate
|
| Thu, 22 Dec 2016 08:43:30 +0100 |
haftmann |
proper logical constants
|
file |
diff |
annotate
|
| Mon, 17 Oct 2016 11:46:22 +0200 |
nipkow |
setsum -> sum
|
file |
diff |
annotate
|
| Fri, 30 Sep 2016 16:08:38 +0200 |
hoelzl |
HOL-Probability: more about probability, prepare for Markov processes in the AFP
|
file |
diff |
annotate
|
| Fri, 30 Sep 2016 15:35:46 +0200 |
hoelzl |
Probability: fix proof
|
file |
diff |
annotate
|