(module info (lib "infotab.ss" "setup")

  (define name "Extensible Recursive Equivalence")

  (define blurb '("Extensible Recursive Equivalence Relations."))

  (define categories '(datastructures))

  (define can-be-loaded-with 'all)

  (define doc.txt "doc.txt")

  (define primary-file "equiv.ss")

  )