src/Pure/primitive_defs.ML
2007-08-14 wenzelm 2007-08-14 Primitive definition forms.