equal
deleted
inserted
replaced
771 is(NS)Cont <-- is(NS)Contc, is(NS)contCR |
771 is(NS)Cont <-- is(NS)Contc, is(NS)contCR |
772 (ns)deriv <-- (ns)cderiv |
772 (ns)deriv <-- (ns)cderiv |
773 |
773 |
774 |
774 |
775 *** ML *** |
775 *** ML *** |
776 |
|
777 * Pure/Isar/args.ML & Pure/Isar/method.ML |
|
778 |
|
779 switched argument order in *.syntax lifters. |
|
780 |
776 |
781 * Pure/table: |
777 * Pure/table: |
782 |
778 |
783 Function `...tab.foldl` removed. |
779 Function `...tab.foldl` removed. |
784 INCOMPATIBILITY: use `...tabfold` instead |
780 INCOMPATIBILITY: use `...tabfold` instead |