src/ZF/intr_elim.thy
1994-08-12 lcp 1994-08-12 installation of new inductive/datatype sections
1993-11-16 clasohm 1993-11-16 made pseudo theories for all ML files; documented dependencies between all thy and ML files