src/ZF/mono.thy
1997-01-03 paulson Implicit simpsets and clasets for FOL and ZF
1993-11-16 clasohm made pseudo theories for all ML files;
less more (0) tip