[isabelle] different fonts for various kinds of items in isatool-prepared documents?



Hello, 

I am trying to prepare a latex document with isatool, and was wondering whether there is a way to set particular fonts for different kinds of items, e.g.:
-- italic for schematic variables (appearing in theorems);
-- sans serif for constants 
-- bold for types

(That would greatly improve readability.)  

Thank you in advance, 
  Andrei Popescu








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