src/Pure/primitive_defs.ML
2007-10-11 wenzelm 2007-10-11 dest/cert_def: replaced Pretty.pp by explicit Proof.context;
2007-08-14 wenzelm 2007-08-14 Primitive definition forms.