-
Christian Sternagel authored
adapted to renaming of postfix into suffixeq (and corresponding lemma names) with swapped arguments; adapted to renaming of theory List_Prefix into Sublist; Sublist does no longer export an order class instance for the prefix order; theories which explicitly require an order class instance for the prefix order may import Prefix_Order (e.g., done in Coinductive);
aa6e03117b3e