wenzelm [Thu, 13 May 2010 18:47:07 +0200] rev 36927
raise Fail uniformly for proofterm errors, which appear to be rather low-level;
wenzelm [Thu, 13 May 2010 18:22:10 +0200] rev 36926
unconstrainT operations on proofs, according to krauss/schropp;
wenzelm [Thu, 13 May 2010 17:25:53 +0200] rev 36925
added Proofterm.get_name variants according to krauss/schropp;
tuned signature;
wenzelm [Wed, 12 May 2010 22:43:05 +0200] rev 36924
conditional structure SingleAssignment;
blanchet [Fri, 14 May 2010 23:35:35 +0200] rev 36923
merge
blanchet [Fri, 14 May 2010 23:34:24 +0200] rev 36922
added Sledgehammer documentation to TOC
blanchet [Fri, 14 May 2010 23:32:48 +0200] rev 36921
added some Sledgehammer news
blanchet [Fri, 14 May 2010 23:16:33 +0200] rev 36920
document Nitpick changes
blanchet [Fri, 14 May 2010 22:43:24 +0200] rev 36919
merge
blanchet [Fri, 14 May 2010 22:43:00 +0200] rev 36918
added Sledgehammer manual;
some material was recovered from the Isar material, the rest is new