(in-package :cl-info)
(let (
(deffn-defvr-pairs '(
; CONTENT: (<INDEX TOPIC> . (<FILENAME> <BYTE OFFSET> <LENGTH IN CHARACTERS> <NODE NAME>))
("boolean_form" . ("logic.info" 11996 541 "Definitions for logic"))
("characteristic_vector" . ("logic.info" 3342 1297 "Definitions for logic"))
("closed_under_f" . ("logic.info" 6751 397 "Definitions for logic"))
("closed_under_t" . ("logic.info" 7165 394 "Definitions for logic"))
("demorgan" . ("logic.info" 12542 380 "Definitions for logic"))
("dual_function" . ("logic.info" 5942 353 "Definitions for logic"))
("functionally_complete" . ("logic.info" 9333 626 "Definitions for logic"))
("linear" . ("logic.info" 8717 603 "Definitions for logic"))
("logic_basis" . ("logic.info" 9968 1437 "Definitions for logic"))
("logic_diff" . ("logic.info" 11414 581 "Definitions for logic"))
("logic_equiv" . ("logic.info" 5202 731 "Definitions for logic"))
("logic_simp" . ("logic.info" 2680 661 "Definitions for logic"))
("monotonic" . ("logic.info" 7576 1132 "Definitions for logic"))
("pcnf" . ("logic.info" 13171 226 "Definitions for logic"))
("pdnf" . ("logic.info" 12923 247 "Definitions for logic"))
("self_dual" . ("logic.info" 6296 442 "Definitions for logic"))
("zhegalkin_form" . ("logic.info" 4648 549 "Definitions for logic"))
))
(section-pairs '(
; CONTENT: (<NODE NAME> . (<FILENAME> <BYTE OFFSET> <LENGTH IN CHARACTERS>))
("Definitions for logic" . ("logic.info" 2628 10665))
("Introduction to logic" . ("logic.info" 561 1813))
)))
(load-info-hashtables (maxima::maxima-load-pathname-directory) deffn-defvr-pairs section-pairs))
