Artifact 54e7160f5d70e722a53e5151d446261a1d546fe4:

• File Doc/Extra/Core/syntax/ordering-term.html — part of check-in [9ade973926] at 2014-12-09 19:23:08 on branch trunk — Update the included core library documentation. (user: mistachkin size: 5483)