generic theorems about exponentials; general tidying up
(* Properties of abstract class field $Id$ Author: Clemens Ballarin, started 15 November 1997*)Field = Factor + PID +instance field < domain (field_one_not_zero, field_integral)instance field < factorial (TrueI, field_fact_prime)end