| Sun, 08 Apr 2018 12:31:08 +0200 |
nipkow |
moved and renamed lemmas
|
changeset |
files
|
| Sun, 08 Apr 2018 12:14:00 +0200 |
nipkow |
Added binary set operations with join-based implementation
|
changeset |
files
|
| Sun, 08 Apr 2018 11:05:52 +0200 |
nipkow |
more name tuning
|
changeset |
files
|
| Sun, 08 Apr 2018 09:46:33 +0200 |
nipkow |
better name; added binary operations
|
changeset |
files
|
| Sat, 07 Apr 2018 22:09:57 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Fri, 06 Apr 2018 17:34:50 +0200 |
immler |
a first shot at tagging for HOL-Analysis manual
|
changeset |
files
|
| Thu, 05 Apr 2018 06:15:02 +0000 |
haftmann |
even more on bit operations
|
changeset |
files
|
| Wed, 04 Apr 2018 20:52:36 +0200 |
haftmann |
more bit operation conversions
|
changeset |
files
|
| Tue, 03 Apr 2018 15:36:51 +0000 |
haftmann |
more rules for numeral conversions;
|
changeset |
files
|
| Wed, 28 Mar 2018 12:13:21 -0700 |
huffman |
tuned proofs and generalized some lemmas about limits
|
changeset |
files
|
| Wed, 28 Mar 2018 12:12:19 -0700 |
huffman |
tuned some proofs
|
changeset |
files
|
| Wed, 28 Mar 2018 11:19:07 -0700 |
huffman |
tuned some proofs about filters
|
changeset |
files
|