isabelle: Changelog

wenzelm [Sun, 11 Nov 2001 21:31:52 +0100] rev 12139

added conjunction_tac;

wenzelm [Sun, 11 Nov 2001 21:31:35 +0100] rev 12138

renamed open_smart_store_thms to smart_store_thms_open; added Syntax.pure_syntax_output;

wenzelm [Sun, 11 Nov 2001 21:30:51 +0100] rev 12137

added mk_conjunction;

wenzelm [Sun, 11 Nov 2001 21:30:31 +0100] rev 12136

added unflat;

wenzelm [Sun, 11 Nov 2001 21:30:10 +0100] rev 12135

added conj_elim_precise, conj_intr_thm;

wenzelm [Sat, 10 Nov 2001 16:25:17 +0100] rev 12134

use Tactic.prove;

wenzelm [Fri, 09 Nov 2001 23:44:48 +0100] rev 12133

tuned;

wenzelm [Fri, 09 Nov 2001 22:53:41 +0100] rev 12132

support co/inductive definitions in new-style theories;

wenzelm [Fri, 09 Nov 2001 22:53:10 +0100] rev 12131

adapted to add_inductive_x;

wenzelm [Fri, 09 Nov 2001 22:52:38 +0100] rev 12130

syntactic declaration of external *and* internal versions of fixes; tuned warn_extra_tfrees;

isabelle