(Ger) Implemented QVP in Question, GenIP and GenModIP in Extend

This commit is contained in:
Hans Leiss committed 2025-09-28 18:15:45 +02:00
1 parent 7e52a4759c
commit 4bf528a429
4 files changed
+39 -8

No files matched your search

-2
View File
@@ -385,6 +385,4 @@ concrete ExtraGer of ExtraGerAbs = CatGer **
-- this function is not entirely satisfactory as largely
-- though not entirely duplicating mkClause in ResGer
}