Sat, 11 Jul 2020 06:21:04 +0000 | haftmann | signed_take_bit | file | diff | annotate |
Mon, 06 Jul 2020 10:47:30 +0000 | haftmann | separation of traditional bit operations | file | diff | annotate |
Sat, 04 Jul 2020 20:45:24 +0000 | haftmann | factored out auxiliary theory | file | diff | annotate |
Wed, 01 Jul 2020 17:32:11 +0000 | haftmann | factored out ancient numeral representation | file | diff | annotate |
Wed, 01 Jul 2020 17:32:11 +0000 | haftmann | moved to Word_Lib | file | diff | annotate |
Tue, 16 Apr 2019 19:50:19 +0000 | haftmann | entry point for comprehensive word library | file | diff | annotate |