mizar32

Reference manual - Mizar32 platform dependent modules

This paragraph presents all the modules specific to the Mizar32 platform.