Category:Basic Refactoring

From ProofWiki
Jump to navigation Jump to search

These are pages which are in the process of being refactored.

The required work is believed to be of basic level.

See the {{Refactor}} template.

Pages in category "Basic Refactoring"

The following 200 pages are in this category, out of 238 total.

(previous page) (next page)
(previous page) (next page)