[isabelle] What is "op" (locales)?



In locales.pdf page 2 there are the following code:

..
assumes "partial_order op ..."
..

What is "op"? This word is not defined anywhere in locales.pdf.

-- 
Victor Porton - http://portonvictor.org





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.