[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Theorem base summary for Specification contains

contains-append(35,9)contains-array-elemtype-10(4,2)contains-bytearray-02(1,1)contains-levelsubset(65,24)contains-primtype-02(2,1)contains-subex(18,5)contains-trans(10,5)contains-typeex-05(2,1)same-subclasses-contains-tdnameex(3,1)same-subclasses-subclass(12,6)
contains-array(8,2)contains-array-elemtype-11(17,8)contains-bytearray-03(3,2)contains-no-reftype(2,1)contains-primtype-03(2,1)contains-subspec(61,21)contains-trans-01(25,7)junkref-put-other-fieldclass(16,9)same-subclasses-contains-tdnameex-01(4,1)validref-subspec-samesubclasses(49,21)
contains-array-elemtype(46,15)contains-array-elemtype-ex(162,58)contains-bytearray-04(4,3)contains-not-has-classtype(10,6)contains-primtype-04(2,1)contains-subspec-better(179,72)contains-two(1,1)junkref-subspec-samesubclasses(71,37)same-subclasses-contains-tdnameex-02(2,1)validref-subspec-samesubclasses-01(20,10)
contains-array-elemtype-01(11,5)contains-bool(2,1)contains-field-def(0,0)contains-not-has-classtype-01(11,6)contains-primtype-05(13,5)contains-subtype(44,14)contains-type-def(0,0)nopathex-badarrayfield(28,12)same-subclasses-contains-tdnameex-03(2,1)validrefs-not-contains(125,48)
contains-array-elemtype-02(20,9)contains-boolarray(7,3)contains-field-def-case(61,19)contains-not-hasclasstype-level(4,3)contains-rec(0,0)contains-subtype-01(2,1)contains-type-def-nodups(44,15)nopathex-badclassfield(19,9)same-subclasses-contains-trans(26,14)validstatfield-subspec-samesubclasses(25,10)
contains-array-elemtype-04(14,5)contains-boolarray-01(8,3)contains-int(2,1)contains-not-hasclasstype-level-01(24,9)contains-rec-01(4,1)contains-supertype(20,4)contains-type-rec(70,19)nopathex-runtimetype(8,2)same-subclasses-contains-typeex(10,4)
contains-array-elemtype-05(8,3)contains-boolarray-02(1,1)contains-intarray(7,3)contains-objectarray(28,13)contains-short(2,1)contains-supertype-01(2,1)contains-typeex(2,1)same-subclasses(15,8)same-subclasses-contains-typeex-01(37,18)
contains-array-elemtype-06(24,11)contains-boolarray-03(3,2)contains-intarray-01(8,3)contains-one(0,0)contains-shortarray(7,3)contains-supertype-02(8,4)contains-typeex-01(2,1)same-subclasses-01(144,62)same-subclasses-contains-typeex-02(24,11)
contains-array-elemtype-07(9,4)contains-byte(2,1)contains-intarray-02(1,1)contains-predefined(16,2)contains-shortarray-01(8,3)contains-supertype-03(2,1)contains-typeex-02(2,1)same-subclasses-all-def(0,0)same-subclasses-forward(61,26)
contains-array-elemtype-08(11,5)contains-bytearray(3,1)contains-intarray-03(3,2)contains-primtype(2,1)contains-shortarray-02(1,1)contains-supertype-04(32,6)contains-typeex-03(3,1)same-subclasses-array-forward(98,46)same-subclasses-is-array(4,1)
contains-array-elemtype-09(4,2)contains-bytearray-01(4,1)contains-length(8,5)contains-primtype-01(2,1)contains-shortarray-03(3,2)contains-supertype-05(2,1)contains-typeex-04(10,2)same-subclasses-class-forward(46,24)same-subclasses-is-obj(2,1)