src/Pure/thm.ML
changeset 49068 0f21fae06a40
parent 49008 a3cdb49c22cc
child 50126 3dec88149176