src/Pure/ProofGeneral/pgip_output.ML
changeset 33178 70522979c7be
parent 33035 15eab423e573
child 38228 ada3ab6b9085