src/ZF/OrdQuant.thy
1999-01-12 ago eliminated global/local names;
1997-10-20 ago local;
1997-10-17 ago global;
1997-01-23 ago added symbols syntax;
1997-01-03 ago Implicit simpsets and clasets for FOL and ZF