67 lines
3.3 KiB
Plaintext
67 lines
3.3 KiB
Plaintext
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||
|
|
% Copyright © 2022 Maximilian Keßler
|
||
|
|
%
|
||
|
|
% Permission is hereby granted, free of charge, to any person obtaining a copy
|
||
|
|
% of this software and associated documentation files (the “Software”), to deal
|
||
|
|
% in the Software without restriction, including without limitation the rights
|
||
|
|
% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
||
|
|
% copies of the Software, and to permit persons to whom the Software is
|
||
|
|
% furnished to do so, subject to the following conditions:
|
||
|
|
% The above copyright notice and this permission notice shall be included in all
|
||
|
|
% copies or substantial portions of the Software.
|
||
|
|
%
|
||
|
|
% THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
||
|
|
% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
||
|
|
% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
||
|
|
% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
||
|
|
% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
||
|
|
% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
||
|
|
% SOFTWARE.
|
||
|
|
%
|
||
|
|
% This dictionary has been generated by PyTeX, available at
|
||
|
|
% https://github.com/kesslermaximilian/PyTeX
|
||
|
|
% and built from source file 'proof.pydict'.
|
||
|
|
% It is STRONGLY DISCOURAGED to edit this source file directly, since local
|
||
|
|
% changes will not be versioned by Git and overwritten by the next build. Always
|
||
|
|
% edit the source file and build the dictionary again.
|
||
|
|
%
|
||
|
|
% Build details:
|
||
|
|
% PyTeX version: v1.2.0-26-g6048812 (commit 6048812)
|
||
|
|
% Source code version: v2.5.2 (commit fbc4fd5)
|
||
|
|
%
|
||
|
|
% This LaTeX dictionary is free software and distributed under the MIT License. You
|
||
|
|
% may use it freely for your purposes. The latest version of the dictionary can be
|
||
|
|
% obtained via GitHub under
|
||
|
|
% https://github.com/kesslermaximilian/LatexPackages
|
||
|
|
% For further information see the url above.
|
||
|
|
% Reportings of bugs, suggestions and improvements are welcome, see the README
|
||
|
|
% at the Git repository for further information.
|
||
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||
|
|
|
||
|
|
\ProvidesDictionary{translator-proof-dictionary}{English}
|
||
|
|
|
||
|
|
\providetranslation{Claim}{Claim}
|
||
|
|
\providetranslation{claim}{claim}
|
||
|
|
\providetranslation{Claim*}{Claim*}
|
||
|
|
\providetranslation{claim*}{claim*}
|
||
|
|
\providetranslation{Proof}{Proof}
|
||
|
|
\providetranslation{proof}{proof}
|
||
|
|
\providetranslation{Proof*}{Proof*}
|
||
|
|
\providetranslation{proof*}{proof*}
|
||
|
|
\providetranslation{Proof of}{Proof of}
|
||
|
|
\providetranslation{proof of}{proof of}
|
||
|
|
\providetranslation{Proof* of}{Proof* of}
|
||
|
|
\providetranslation{proof* of}{proof* of}
|
||
|
|
\providetranslation{Continuation of proof}{Continuation of proof}
|
||
|
|
\providetranslation{continuation of proof}{continuation of proof}
|
||
|
|
\providetranslation{Continuation of proof of}{Continuation of proof of}
|
||
|
|
\providetranslation{continuation of proof of}{continuation of proof of}
|
||
|
|
\providetranslation{Continuation of proof*}{Continuation of proof*}
|
||
|
|
\providetranslation{continuation of proof*}{continuation of proof*}
|
||
|
|
\providetranslation{Continuation of proof* of}{Continuation of proof* of}
|
||
|
|
\providetranslation{continuation of proof* of}{continuation of proof* of}
|
||
|
|
\providetranslation{Subproof}{Subproof}
|
||
|
|
\providetranslation{subproof}{subproof}
|
||
|
|
\providetranslation{Subproof*}{Subproof*}
|
||
|
|
\providetranslation{subproof*}{subproof*}
|