wenzelm [Thu, 18 Aug 2005 11:17:32 +0200] rev 17097
* Proper output of proof terms within a proof context;
* Proper output of antiquotations for theory commands involving a proof context;
* 'print_theorems': in theory mode print difference of facts, in proof mode print local facts;