src/Pure/raw_simplifier.ML
changeset 66787 64b47495676d
parent 64556 851ae0e7b09c
child 66934 b86513bcf7ac