src/Pure/meta_simplifier.ML
changeset 30190 479806475f3c
parent 29269 5c25a2012975
child 30318 3d03190d2864