src/HOL/ex/Codegenerator_Pretty.thy
changeset 30313 b2441b0c8d38
parent 29933 125d513d9e39
child 31378 d1cbf6393964