src/Pure/simplifier.ML
changeset 50499 f496b2b7bafb
parent 50107 289181e3e524
child 51580 64ef8260dc60