Mon, 16 Apr 2018 21:23:38 +0100 |
paulson |
some more random results
|
changeset |
files
|
Mon, 16 Apr 2018 15:00:46 +0100 |
paulson |
more results about measure and negligibility
|
changeset |
files
|
Mon, 16 Apr 2018 05:34:25 +0000 |
haftmann |
explicit simp rules for computing abstract bit operations
|
changeset |
files
|
Sun, 15 Apr 2018 08:32:31 +0000 |
haftmann |
more and generalized lemmas
|
changeset |
files
|
Sun, 15 Apr 2018 21:41:40 +0100 |
paulson |
quite a few more results about negligibility, etc., and a bit of tidying up
|
changeset |
files
|
Sun, 15 Apr 2018 17:22:58 +0100 |
paulson |
merged
|
changeset |
files
|
Sun, 15 Apr 2018 17:22:47 +0100 |
paulson |
a few more results
|
changeset |
files
|
Sun, 15 Apr 2018 17:48:07 +0200 |
nipkow |
added bottom-up merge sort
|
changeset |
files
|
Sun, 15 Apr 2018 13:57:00 +0100 |
paulson |
various new results on measures, integrals, etc., and some simplified proofs
|
changeset |
files
|
Sat, 14 Apr 2018 20:19:52 +0100 |
paulson |
more new theorems on real^1, matrices, etc.
|
changeset |
files
|
Sat, 14 Apr 2018 15:36:49 +0100 |
paulson |
a few new theorems and some fixes
|
changeset |
files
|
Sat, 14 Apr 2018 09:23:00 +0100 |
paulson |
new material about vec, real^1, etc.
|
changeset |
files
|
Fri, 13 Apr 2018 17:00:57 +0100 |
paulson |
merged
|
changeset |
files
|
Fri, 13 Apr 2018 15:58:27 +0100 |
paulson |
Probability builds with new definitions
|
changeset |
files
|