1 (*
2 Principle ideal domains
3 $Id$
4 Author: Clemens Ballarin, started 5 October 1999
5 *)
6
7 PID = Ideal +
8
9 instance
10 pid < factorial (TrueI, pid_irred_imp_prime)
11
12 end
13