src/HOL/ex/Hex_Bin_Examples.thy
changeset 47842 bfc08ce7b7b9
parent 41460 ea56b98aee83
child 58889 5b7a9633cfa8