src/Sequents/simpdata.ML
changeset 45509 624872fc47bf
parent 43597 b4a093e755db
child 45620 f2a587696afb