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