| 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 |