[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,

Used simplifier rules/spec theorems by specification

Used from specification list

list/classnames/Two is used by supers-nodups, superClass-supers, superClass-diff, predsupers-in, predef_supers-if, predef-supers-rec, obj-predefs, in-predefs,
list/classnames/a is used by supers-nodups, superClass-supers, superClass-diff, predsupers-in, predef_supers-if, predef-supers-same, predef-supers-rec, obj-predefs, in-predefs,
list/classnames/app-01 is used by predef_supers-if, predef-supers-rec,
list/classnames/c is used by supers-nodups, superClass-supers, superClass-diff, predsupers-in, predef_supers-if, predef-supers-rec, obj-predefs, in-predefs,
list/classnames/c-04 is used by predef_supers-if,
list/classnames/c-07 is used by superClass-supers, superClass-diff, predef-supers-rec,
list/classnames/c-08 is used by superClass-supers, superClass-diff, predef-supers-rec,
list/classnames/e-01 is used by predef_supers-if,
list/classnames/first is used by superClass-supers, superClass-diff, predef-supers-rec,
list/classnames/in-06 is used by predef-supers-same, obj-predefs,
list/classnames/in-17 is used by supers-nodups, predsupers-in, predef-supers-same, obj-predefs, in-predefs,
list/classnames/in-append is used by supers-nodups, predsupers-in, in-predefs,
list/classnames/in-empty is used by predsupers-in,

Used from specification classnamefuns

classnamefuns/le-one is used by le-15, le-14, le-13, le-12, le-11, le-10, le-09, le-08, le-07, le-06, le-05, le-04, le-03, le-02, le-01,
classnamefuns/le-object is used by subclass-object, le-01,

Used from specification list-dup

list-dup/classnames/c is used by supers-nodups,
list-dup/classnames/e-01 is used by supers-nodups,
list-dup/classnames/rec is used by supers-nodups,

Used from specification classname

classname/inj is used by supers-nodups, superClass-supers, superClass-diff, predsupers-in, predef_supers-if, predef-const, predef-14, predef-13, predef-12, predef-11, predef-10, predef-09, predef-08, predef-07, predef-06, predef-05, predef-04, predef-03, predef-02, predef-01, obj-predefs, le-05, le-04,