(PUBS::DOCPATH)
(PUBS::GROUP-BIBTEX-ENTRIES-AUX)
(PUBS::<=-OF-LEN-OF-MV-NTH-1-OF-GROUP-BIBTEX-ENTRIES-AUX
 (260 12 (:REWRITE LEN-WHEN-PREFIXP))
 (180 8 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (130 8 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (60 30 (:REWRITE DEFAULT-+-2))
 (56 56 (:REWRITE DEFAULT-CAR))
 (52 52 (:REWRITE DEFAULT-CDR))
 (32 16 (:REWRITE DEFAULT-<-2))
 (32 16 (:REWRITE DEFAULT-<-1))
 (30 30 (:REWRITE DEFAULT-+-1))
 (28 28 (:TYPE-PRESCRIPTION PREFIXP))
 (18 18 (:LINEAR LEN-WHEN-PREFIXP))
 (8 8 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (8 8 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (8 8 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (8 8 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (8 8 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (8 8 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 )
(PUBS::GROUP-BIBTEX-ENTRIES
 (26 13 (:REWRITE DEFAULT-+-2))
 (20 20 (:REWRITE DEFAULT-CDR))
 (13 13 (:REWRITE DEFAULT-+-1))
 (6 6 (:REWRITE DEFAULT-CAR))
 (5 1 (:DEFINITION ASSOC-EQUAL))
 (4 2 (:REWRITE DEFAULT-<-2))
 (4 2 (:REWRITE DEFAULT-<-1))
 )
(PUBS::GENERATE-WORKSHOP-DOCUMENTATION-XDOC)
(PUBS::GENERATE-WORKSHOP-DOCUMENTATION-FN)
