[mizar] Looking for Field of Fractions

[Zachary Friggstad <zacharyf@cs.ualberta.ca>]

Hi,

My name is Zac Friggstad and I am a relatively new Mizar user.  I am 
looking for a construction of the field of fractions of a given integral 
domain.  I can't seem to find any such construction in the MML.  Am I 
overlooking something in the MML or is anyone currently working on this?

Thanks,
-Zac

MSc. Student of Computing Science
University of Alberta