src/ZF/typechk.ML
1997-01-03 paulson 1997-01-03 Implicit simpsets and clasets for FOL and ZF