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.

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "Basic Refactoring"

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

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