|
(pairs
(mk_pair_eq 0
(mk_pair_eq-1 nil 3507100927
("" (skosimp*) (("" (expand "mk_pair") (("" (propax) nil)))) nil)
((mk_pair const-decl "pair" pairs nil)) nil))
(apair_irreflexive 0
(apair_irreflexive-1 nil 3507100927
("" (skosimp*) (("" (assert) nil)) nil) nil nil)))
¤ Dauer der Verarbeitung: 0.4 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
