wenzelm@52488: theory Proofs
wenzelm@52488: imports Pure
wenzelm@52488: begin
wenzelm@52488: 
wenzelm@52488: ML "Proofterm.proofs := 2"
wenzelm@52488: 
wenzelm@52488: end
wenzelm@52488: