src/HOL/hologic.ML
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application