src/Pure/primitive_defs.ML
2009-01-21 haftmann 2009-01-21 dropped ID
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.