src/Sequents/simpdata.ML
changeset 45509 624872fc47bf
parent 43597 b4a093e755db
child 45620 f2a587696afb
equal deleted inserted replaced
45508:b216dc1b3630 45509:624872fc47bf