Paul Rubin wrote: > Thanks, Pavel! I was going to put it with the other theorem related modules
It is now accessible as this link in wiki: svnwiki:pkgs/thms-extended.zip Pavel
- bug concerning label of assumption environment Sivan Frenkel
- Re: bug concerning label of assumption environment Richard Heck
- Re: bug concerning label of assumption environment Paul Rubin
- Re: bug concerning label of assumption environm... Pavel Sanda
- Re: bug concerning label of assumption envi... Paul Rubin
- Re: bug concerning label of assumption... Pavel Sanda
- Re: bug concerning label of assump... Paul Rubin
