src/ZF/OrdQuant.ML
1999-01-12 ago eliminated global/local names;
1998-09-24 ago renamed mk_meta_eq to mk_eq
1998-09-22 ago tidying
1997-11-03 ago isatool fixclasimp;
1997-10-10 ago fixed dots;
1997-01-03 ago Implicit simpsets and clasets for FOL and ZF