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