Skip to content
  • Christian Sternagel's avatar
    dropped special syntax ">>=" for postfix; · aa6e03117b3e
    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