wenzelm [Fri, 06 May 2011 20:25:41 +0200] rev 42712
no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;
wenzelm [Fri, 06 May 2011 17:52:08 +0200] rev 42711
removed \underscoreon which is from Larry's iman.sty, not underscore.sty;
blanchet [Fri, 06 May 2011 13:35:00 +0200] rev 42710
further improved type system setup based on Judgment Days
blanchet [Fri, 06 May 2011 13:34:59 +0200] rev 42709
allow each prover to specify its own formula kind for symbols occurring in the conjecture
blanchet [Fri, 06 May 2011 13:34:59 +0200] rev 42708
better type system setup, based on Judgment Day
bulwahn [Fri, 06 May 2011 11:57:21 +0200] rev 42707
improving merge of code specifications by removing code equations of constructors after merging two theories
wenzelm [Thu, 05 May 2011 23:54:06 +0200] rev 42706
tuned;
wenzelm [Thu, 05 May 2011 23:23:02 +0200] rev 42705
tuned some syntax names;
wenzelm [Thu, 05 May 2011 23:15:11 +0200] rev 42704
tuned rail diagrams and layout;
wenzelm [Thu, 05 May 2011 15:01:32 +0200] rev 42703
merged;