top: THEORY %----------------------------------------------------------------------- % Defines "mod" in a manner independent of div using floor. % % mod -- mod theory % mod_lems -- Additional lemmas about mod % % This library is set up so that it can be loaded using the extend % prelude command "M-x load-prelude-library" which prompts for a % directory. % %----------------------------------------------------------------------- BEGIN IMPORTING mod, mod_lems END top