# Authors : Koji Yokota <yokota@res.otaru-uc.ac.jp>
# Uwe Stöhr <uwestoehr@web.de>
-Format 64
+Format 82
Input stdclass.inc
Input theorems-ams.module
Input theorems-bytype.module
End
Counter case
+ GuiName Case
End
Counter remark
+ GuiName Remark
End
Counter summary
+ GuiName Summary
End
Counter solution
+ GuiName Solution
End