(in-package :cl-info)
(let (
(deffn-defvr-pairs '(
; CONTENT: (<INDEX TOPIC> . (<FILENAME> <BYTE OFFSET> <LENGTH IN CHARACTERS> <NODE NAME>))
("boolean_form" . ("logic.info" 11995 541 "Definitions for logic"))
("characteristic_vector" . ("logic.info" 3341 1297 "Definitions for logic"))
("closed_under_f" . ("logic.info" 6750 397 "Definitions for logic"))
("closed_under_t" . ("logic.info" 7164 394 "Definitions for logic"))
("demorgan" . ("logic.info" 12541 380 "Definitions for logic"))
("dual_function" . ("logic.info" 5941 353 "Definitions for logic"))
("functionally_complete" . ("logic.info" 9332 626 "Definitions for logic"))
("linear" . ("logic.info" 8716 603 "Definitions for logic"))
("logic_basis" . ("logic.info" 9967 1437 "Definitions for logic"))
("logic_diff" . ("logic.info" 11413 581 "Definitions for logic"))
("logic_equiv" . ("logic.info" 5201 731 "Definitions for logic"))
("logic_simp" . ("logic.info" 2679 661 "Definitions for logic"))
("monotonic" . ("logic.info" 7575 1132 "Definitions for logic"))
("pcnf" . ("logic.info" 13170 226 "Definitions for logic"))
("pdnf" . ("logic.info" 12922 247 "Definitions for logic"))
("self_dual" . ("logic.info" 6295 442 "Definitions for logic"))
("zhegalkin_form" . ("logic.info" 4647 549 "Definitions for logic"))
))
(section-pairs '(
; CONTENT: (<NODE NAME> . (<FILENAME> <BYTE OFFSET> <LENGTH IN CHARACTERS>))
("Definitions for logic" . ("logic.info" 2627 10665))
("Introduction to logic" . ("logic.info" 561 1812))
)))
(load-info-hashtables (maxima::maxima-load-pathname-directory) deffn-defvr-pairs section-pairs))
