L
ogics_
Z
F
IFOL_examples
FOL_examples
ZF_examples
If
ZF_Isar