equal
deleted
inserted
replaced
601 less_sinrD ~> below_sinrD |
601 less_sinrD ~> below_sinrD |
602 |
602 |
603 |
603 |
604 *** FOL and ZF *** |
604 *** FOL and ZF *** |
605 |
605 |
606 * All constant names are now qualified. INCOMPATIBILITY. |
606 * All constant names are now qualified internally and use proper |
|
607 identifiers, e.g. "IFOL.eq" instead of "op =". INCOMPATIBILITY. |
|
608 |
607 |
609 |
608 |
610 |
609 *** ML *** |
611 *** ML *** |
610 |
612 |
611 * Renamed structure MetaSimplifier to Raw_Simplifier. Note that the |
613 * Renamed structure MetaSimplifier to Raw_Simplifier. Note that the |