desharna [Thu, 08 Oct 2020 16:07:10 +0200] rev 72398
recognize THF proofs properly
haftmann [Thu, 08 Oct 2020 07:30:02 +0000] rev 72397
factored out bit comprehension
desharna [Thu, 08 Oct 2020 10:33:38 +0200] rev 72396
Fix formatting of default value in help message of "build_e" component.
wenzelm [Wed, 07 Oct 2020 21:33:07 +0200] rev 72395
tuned signature;
wenzelm [Wed, 07 Oct 2020 21:15:15 +0200] rev 72394
updated user + host;
wenzelm [Wed, 07 Oct 2020 21:02:04 +0200] rev 72393
updated URL;
wenzelm [Wed, 07 Oct 2020 20:53:27 +0200] rev 72392
clarified multicore options;
wenzelm [Wed, 07 Oct 2020 20:51:04 +0200] rev 72391
discontinued old machines;
wenzelm [Wed, 07 Oct 2020 20:43:59 +0200] rev 72390
updated tests for macOS 10.14 Mojave;
nipkow [Wed, 07 Oct 2020 17:34:24 +0200] rev 72389
Aded Queues
haftmann [Wed, 07 Oct 2020 10:39:14 +0200] rev 72388
consolidated for the sake of documentation
wenzelm [Wed, 07 Oct 2020 11:31:51 +0200] rev 72387
tuned;
paulson [Tue, 06 Oct 2020 20:34:38 +0100] rev 72386
merged
paulson <lp15@cam.ac.uk> [Tue, 06 Oct 2020 20:34:29 +0100] rev 72385
Simplified some proofs
nipkow [Tue, 06 Oct 2020 16:55:56 +0200] rev 72384
added lemmas; internalized defn in class
paulson [Mon, 05 Oct 2020 22:53:40 +0100] rev 72383
merged