src/Pure/goal_display.ML
changeset 35640 9617aeca7147
parent 33957 e9afca2118d4
child 39050 600de0485859
equal deleted inserted replaced
35637:e0b2a6e773db 35640:9617aeca7147