no_document use_thys ["../Nominal-General/Nominal2_Base", +− "../Nominal-General/Nominal2_Atoms", +âˆâ€ÃÃÆââÃ¢â‚¬Å¡Ã‚¬Ã¢â€žÂ¢ÃƒÆ’ƒâ€ Ã¢â‚¬â„¢ÃƒÆ’†â€™Ãƒâ€ Ã¢â‚¬â„¢ÃƒÆ’†â€™ÃƒÂ¢Ã¢â€šÂ¬Ã…¡Ãƒâ€šÃ‚¢ÃƒÆ’¢â‚¬Å¾Ã‚¢ "../Nominal-General/Nominal2_Eqvt",+− "../Nominal-General/Atoms", +̢蠉âÃÃâ€ÂÃâÃ¢â€šÂ¬Ã…¡Ãƒâ€šÃ‚ ÃƒÆ’ƒÆ’¢â‚¬â„¢ÃƒÆ’†â€™Ãƒâ€šÃ‚¢ÃƒÂ¢Ã¢â‚¬Å¡Ã‚¬Ã…¡Ã‚¬Ã¢â€žÂ¢ "LaTeXsugar"];+− +âˆÃÃÆâÃÆâ€™Ãƒâ€šÃ‚¢ÃƒÂ¢Ã¢â€šÂ¬Ã…¡Ã‚¬Ã¢â€žÂ¢ÃƒÆ’ƒÂ¢Ã¢â€šÂ¬Ã‚ ÃƒÂ¢Ã¢â€šÂ¬Ã¢â€žÂ¢ÃƒÆ’ƒâ€ Ã¢â‚¬â„¢ÃƒÆ’†â€™Ãƒâ€šÃ‚¢ÃƒÂ¢Ã¢â‚¬Å¡Ã‚¬Ã¢â€žÂ¢ use_thys ["Paper"];+−