| Fri, 01 Jan 2021 23:35:09 +0100 | wenzelm | tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow"); | file | diff | annotate |
| Tue, 15 Dec 2020 14:56:13 +0100 | Mathias Fleury | don't generate not-fully-defined bit-vector constants in SMT problems | file | diff | annotate |
| Thu, 29 Oct 2020 10:03:03 +0000 | haftmann | moved most material from session HOL-Word to Word_Lib in the AFP | file | diff | annotate | base |