src/HOL/Ord.thy
1996-11-27 wenzelm 1996-11-27 fixed comment; added "op <", "op <=" syntax; added symbol syntax;
1996-09-23 paulson 1996-09-23 New infix syntax: breaks line BEFORE operator
1995-11-29 clasohm 1995-11-29 removed quotes from types in consts and syntax sections
1995-03-20 clasohm 1995-03-20 changed syntax of "if"
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application