"Committed_by_peb"

This commit is contained in:
peb committed 2005-05-18 08:04:07 +00:00
1 parent d57b5b2416
commit a3bdf26f22
1 file changed
+2
+2
View File
@@ -1,6 +1,8 @@
concrete Findep of FindepAbs = {
flags conversion = finite;
lin
Sg = {s = "SINGULAR"};