src/FOL/.ifol.thy.ML
changeset 8255 38f96394c099
parent 0 a5a9c433f639