src/Pure/Isar/calculation.ML
changeset 57072 dfac6ef0ca28
parent 56894 fa12200276bf
child 58011 bc6bced136e5