| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Lyx/src/ (Lyx Textverarbeitung ©) Datei vom 26.9.1998 mit Größe 8 kB |
|
Quellcode-Bibliothek pairs.prf Sprache: Lisp |
|||||||||
|
(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))) ¤ 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.0.1Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
