[isabelle] where


I wonder about the way in which "where" is printed by the Isabelle document
preparation system. According to the isar-ref manual, "where" is an attribute
like "OF" and "of", but in tex documents "where" becomes \isakeyword{where}
whereas "of" and "OF" are unmodified. Is there some subtle distinction I should
be aware of?


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