<TeXmacs|0.3.3.17>

<\body>
  <assign|theorem-style|1.0.0>

  \;

  <assign|newtheorem|<func|mythm|Mythm|<assign|<merge|the|<mythm>>|<func|<app\
  ly|*prefix><theoremnr>>><assign|<merge|text|<mythm>>|<Mythm>><assign|<mythm\
  >|<hold|<env|<begin|*theorem|<apply|<merge|text|<release|<mythm>>>>|<apply|\
  <merge|the|<release|<mythm>>>>>|<end|*theorem>>>>>>

  <assign|newremark|<func|myrem|Myrem|<assign|<merge|the|<myrem>>|<func|<appl\
  y|*prefix><theoremnr>>><assign|<merge|text|<myrem>>|<Myrem>><assign|<myrem>\
  |<hold|<env|<begin|*remark|<apply|<merge|text|<release|<myrem>>>>|<apply|<m\
  erge|the|<release|<myrem>>>>>|<end|*remark>>>>>>

  <assign|newexercise|<func|myex|Myex|<assign|<merge|the|<myex>>|<func|<apply\
  |*prefix><exercisenr>>><assign|<merge|text|<myex>>|<Myex>><assign|<myex>|<h\
  old|<env|<begin|*exercise|<apply|<merge|text|<release|<myex>>>>|<apply|<mer\
  ge|the|<release|<myex>>>>>|<end|*exercise>>>>>>

  <assign|proof|<env|<vspace*|1fn><format|no first indentation><set|font
  series|bold><translate|Proof|english|<language>>. <reset|font
  series>|<group|><htab|5mm><set|mode|math>\<box\><reset|mode><vspace|1fn>>>

  <assign|proof*|<env|which|<vspace*|1fn><format|no first
  indentation><set|font series|bold><which>. <reset|font
  series>|<group|><htab|5mm><set|mode|math>\<box\><reset|mode><vspace|1fn>>>

  \;

  <newtheorem|theorem|Theorem>

  <newtheorem|proposition|Proposition>

  <newtheorem|lemma|Lemma>

  <newtheorem|corollary|Corollary>

  <newtheorem|axiom|Axiom>

  <newtheorem|definition|Definition>

  <newtheorem|conjecture|Conjecture>

  \;

  <newremark|remark|Remark>

  <newremark|example|Example>

  <newremark|note|Note>

  <newremark|warning|Warning>

  <newremark|convention|Convention>

  \;

  <newexercise|exercise|Exercise>

  \;
</body>

<\initial>
  <\collection>
    <associate|preamble|true>
  </collection>
</initial>
