| Fri, 30 Sep 2016 16:08:38 +0200 |
hoelzl |
HOL-Probability: more about probability, prepare for Markov processes in the AFP
|
changeset |
files
|
| Mon, 03 Oct 2016 14:09:26 +0100 |
paulson |
Merge
|
changeset |
files
|
| Mon, 03 Oct 2016 13:01:01 +0100 |
paulson |
new theorems including the theory FurtherTopology
|
changeset |
files
|
| Mon, 03 Oct 2016 12:39:03 +0200 |
wenzelm |
clarified magic values (see also java/io/BufferedInputStream.java);
|
changeset |
files
|
| Mon, 03 Oct 2016 12:28:36 +0200 |
wenzelm |
clarified stream operations;
|
changeset |
files
|
| Mon, 03 Oct 2016 12:24:22 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 03 Oct 2016 10:51:51 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Mon, 03 Oct 2016 10:49:27 +0200 |
wenzelm |
more general read_stream: return actual byte count;
|
changeset |
files
|
| Sun, 02 Oct 2016 22:05:40 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sun, 02 Oct 2016 21:05:14 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Sun, 02 Oct 2016 20:06:57 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Sun, 02 Oct 2016 19:47:18 +0200 |
wenzelm |
more formal Mercurial support (with the potential to upgrade to command server);
|
changeset |
files
|
| Sun, 02 Oct 2016 19:36:57 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sun, 02 Oct 2016 17:05:48 +0200 |
wenzelm |
added isabelle_java cold-start executable;
|
changeset |
files
|