paulson [Fri, 09 Jul 1999 10:45:09 +0200] rev 6941
products of signs as equivalences
wenzelm [Thu, 08 Jul 1999 18:40:43 +0200] rev 6940
-B option;
wenzelm [Thu, 08 Jul 1999 18:39:34 +0200] rev 6939
removed old version;
tuned;
wenzelm [Thu, 08 Jul 1999 18:39:08 +0200] rev 6938
tuned indentation;
wenzelm [Thu, 08 Jul 1999 18:37:54 +0200] rev 6937
added export_chain;
propp: 'concl' patterns;
terminal_proof: 2nd method;
use Display.pretty_thm_no_hyps;
wenzelm [Thu, 08 Jul 1999 18:36:57 +0200] rev 6936
propp: 'concl' patterns;
added 'thence';
wenzelm [Thu, 08 Jul 1999 18:36:09 +0200] rev 6935
propp: 'concl' patterns;
wenzelm [Thu, 08 Jul 1999 18:35:44 +0200] rev 6934
terminal_proof: 2nd method;
wenzelm [Thu, 08 Jul 1999 18:35:11 +0200] rev 6933
'export';
wenzelm [Thu, 08 Jul 1999 18:34:59 +0200] rev 6932
propp: 'concl' patterns;
assumptions: tactics for non-goal export;
use Display.pretty_thm_no_hyps;
assm vs. assume vs. presume;
tuned type goal;
tuned print_goal;
relative exports, absolute export_thm rule;
transfer_facts;
tuned;