src/HOL/hologic.ML
1997-01-16 wenzelm 1997-01-16 binary oprations and relations; nat;
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application