Type constraint added to ensure that "length" refers to lists.  Maybe should not be needed, but the translation length->size happens irrespective of types
Type constraint added to ensure that "length" refers to lists.  Maybe should
not be needed, but the translation length->size happens irrespective of types

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle