wenzelm [Thu, 18 Aug 2005 11:17:35 +0200] rev 17100
updated;
wenzelm [Thu, 18 Aug 2005 11:17:34 +0200] rev 17099
usedir: tuned option -V;
wenzelm [Thu, 18 Aug 2005 11:17:33 +0200] rev 17098
usedir: removed option -H;
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;
ballarin [Wed, 17 Aug 2005 17:04:15 +0200] rev 17096
Improved generation of witnesses in interpretation.
ballarin [Wed, 17 Aug 2005 17:03:20 +0200] rev 17095
Interpretation in locales.
ballarin [Wed, 17 Aug 2005 17:02:16 +0200] rev 17094
Use interpretation in locales.
paulson [Wed, 17 Aug 2005 15:10:00 +0200] rev 17093
new examples
nipkow [Wed, 17 Aug 2005 14:19:17 +0200] rev 17092
*** empty log message ***
paulson [Wed, 17 Aug 2005 13:52:53 +0200] rev 17091
new command to invoke ATPs