Implementation of prep+DefArt-gluing independent of |PCase| finished

This commit is contained in:
Hans Leiss
2023-08-04 20:34:02 +02:00
parent 0d5919d511
commit c8a424c023
6 changed files with 32 additions and 46 deletions

View File

@@ -5,5 +5,5 @@ concrete AllGer of AllGerAbs =
IrregGer,
---- ExtendGer, ---- to replace ExtraGer
ExtraGer
-- ** open ExtendGer in {} ---- to force compilation HL 7/22 todo: ListNP' in ExtendGer
** open ExtendGer in {} ---- to force compilation
;