src/HOL/Ord.thy
1995-11-29 ago removed quotes from types in consts and syntax sections
1995-03-20 ago changed syntax of "if"
1995-03-03 ago new version of HOL with curried function application