src/HOL/Int.thy
changeset 63915 bab633745c7f
parent 63652 804b80a80016
child 64014 ca1239a3277b