Isabelle2013-1
54a733668be9 · no unfolding, which would lead to problems in code generation (rs_set) · Oct 23, 2013