]> mj.ucw.cz Git - diplomky.git/search
Macros: Clean up theorem type definitions