src/FOL/FOL_lemmas1.ML
changeset 9483 708a8a05497d
parent 9264 051592f4236a