Wed, 17 Nov 2021 15:09:10 +0100 | fleury | generate problems with correct logic for veriT | file | diff | annotate |
Sun, 01 Aug 2021 10:20:34 +0000 | haftmann | organize syntax for word operations in bundles | file | diff | annotate |
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 |