"Committed_by_peb"

This commit is contained in:
peb
2005-05-18 08:04:07 +00:00
parent fa3ddc7773
commit 2d602b0d6f

View File

@@ -1,6 +1,8 @@
concrete Findep of FindepAbs = {
flags conversion = finite;
lin
Sg = {s = "SINGULAR"};