Wed, 10 Mar 2021 10:47:38 +0100 also reorient `manually' added simp rules draft
nipkow [Wed, 10 Mar 2021 10:47:38 +0100] rev 73650
also reorient `manually' added simp rules because they may come out of some locale interpretation
Wed, 10 Mar 2021 09:39:02 +0100 also reorient `manually' added simp rules because they may come out of some locale interpretation draft
nipkow [Wed, 10 Mar 2021 09:39:02 +0100] rev 73649
also reorient `manually' added simp rules because they may come out of some locale interpretation
Tue, 09 Mar 2021 21:07:47 +0100 reorient even `user-supplied' theorems because they may be generated by a locale interpretation draft
nipkow [Tue, 09 Mar 2021 21:07:47 +0100] rev 73648
reorient even `user-supplied' theorems because they may be generated by a locale interpretation
Tue, 09 Mar 2021 14:20:27 +0100 generalized confluence-based subdistributivity theorem for quotients;
traytel [Tue, 09 Mar 2021 14:20:27 +0100] rev 73647
generalized confluence-based subdistributivity theorem for quotients; new example that triggered the generalization
Tue, 09 Mar 2021 11:50:21 +0100 Backed out changeset 3fdb94d87e0e
desharna [Tue, 09 Mar 2021 11:50:21 +0100] rev 73646
Backed out changeset 3fdb94d87e0e
Tue, 09 Mar 2021 11:50:11 +0100 Backed out changeset b867b436f372
desharna [Tue, 09 Mar 2021 11:50:11 +0100] rev 73645
Backed out changeset b867b436f372
Tue, 09 Mar 2021 12:58:25 +0100 generalized confluence-based subdistributivity theorem for quotients; new example exploiting the generalization draft
traytel [Tue, 09 Mar 2021 12:58:25 +0100] rev 73644
generalized confluence-based subdistributivity theorem for quotients; new example exploiting the generalization
Sun, 07 Mar 2021 08:26:02 +0100 reduced dependencies on List_Permutation
haftmann [Sun, 07 Mar 2021 08:26:02 +0100] rev 73643
reduced dependencies on List_Permutation
Sun, 07 Mar 2021 08:24:24 +0100 follow corresponding precedence on sets
haftmann [Sun, 07 Mar 2021 08:24:24 +0100] rev 73642
follow corresponding precedence on sets
Sat, 06 Mar 2021 18:42:10 +0000 consolidated names
haftmann [Sat, 06 Mar 2021 18:42:10 +0000] rev 73641
consolidated names
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip