Sat, 28 May 2022 13:33:14 +0200 support rsync;
wenzelm [Sat, 28 May 2022 13:33:14 +0200] rev 75468
support rsync;
Sat, 28 May 2022 10:45:45 +0200 added lemmas Multiset.bex_{least,greatest}_element
desharna [Sat, 28 May 2022 10:45:45 +0200] rev 75467
added lemmas Multiset.bex_{least,greatest}_element
Fri, 27 May 2022 16:16:45 +0200 added predicate totalp_on and abbreviation totalp
desharna [Fri, 27 May 2022 16:16:45 +0200] rev 75466
added predicate totalp_on and abbreviation totalp
Fri, 27 May 2022 13:46:40 +0200 excluded dummy ATPs from Sledgehammer's default provers
desharna [Fri, 27 May 2022 13:46:40 +0200] rev 75465
excluded dummy ATPs from Sledgehammer's default provers
Wed, 25 May 2022 14:39:46 +0200 move monotone from Complete_Partial_Order to Orderings
desharna [Wed, 25 May 2022 14:39:46 +0200] rev 75464
move monotone from Complete_Partial_Order to Orderings
Wed, 25 May 2022 10:57:07 +0100 qualified name to fix integrable_cong ambiguity
paulson <lp15@cam.ac.uk> [Wed, 25 May 2022 10:57:07 +0100] rev 75463
qualified name to fix integrable_cong ambiguity
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip