1
(*
2
Properties of abstract class field
3
$Id$
4
Author: Clemens Ballarin, started 15 November 1997
5
*)
6
7
Field = Factor + Ideal +
8
9
instance
10
field < domain (field_integral)
11
12
13
field < factorial (TrueI, field_fact_prime)
14
15
end