src/HOL/Complex_Main.thy
changeset 47220 52426c62b5d0
parent 40864 4abaaadfdaf2
child 51518 6a56b7088a6a