src/HOL/ex/Hex_Bin_Examples.thy
changeset 47842 bfc08ce7b7b9
parent 41460 ea56b98aee83
child 58889 5b7a9633cfa8
equal deleted inserted replaced
47841:179b5e7c9803 47842:bfc08ce7b7b9