Mizar
Lecture Notes

         ( 4th Edition:Mizar Version 6.1.12)

 Yatsuka Nakamura, Toshihiko Watanabe
 Yasushi Tanaka, Pauline Kawamoto


 --> Table of Contents 

Shinshu University,
Dept. of Information Engineering, Kiso Lab.