src/HOL/Library/Rewrite.thy
changeset 61952 546958347e05
parent 61383 6762c8445138
child 69605 a96320074298