The Sandbox web is the sandbox you can use for testing. Everybody is welcome to add or delete some stuff. It is recommended to walk through the TWikiTutorial to get a jumpstart on the TWiki tool. A good rule of thumb is to add at the end of the page and sign and date it with your WikiName.
This page is supposed to be a list of hints for reviewers of Mizar articles contributed to MML. Hints about exportable part of the article Check if a redefinition ... 2012-10-04 - 08:13 - ArturKornilowicz