src/HOL/HOL.ML
1995-11-17 clasohm 1995-11-17 changed simpset of "HOL"
1995-11-16 nipkow 1995-11-16 added rev_contrapos
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application