Tue, 04 Jul 2006 19:49:57 +0200 removed parrot comment;
wenzelm [Tue, 04 Jul 2006 19:49:57 +0200] rev 20006
removed parrot comment;
Tue, 04 Jul 2006 19:49:56 +0200 Proof by guessing.
wenzelm [Tue, 04 Jul 2006 19:49:56 +0200] rev 20005
Proof by guessing.
Tue, 04 Jul 2006 19:49:55 +0200 guess: proper context for polymorphic parameters;
wenzelm [Tue, 04 Jul 2006 19:49:55 +0200] rev 20004
guess: proper context for polymorphic parameters; tuned;
Tue, 04 Jul 2006 19:49:54 +0200 polymorphic: always generalize wrt. used_types;
wenzelm [Tue, 04 Jul 2006 19:49:54 +0200] rev 20003
polymorphic: always generalize wrt. used_types;
Tue, 04 Jul 2006 19:49:53 +0200 varifyT: no longer pervasive;
wenzelm [Tue, 04 Jul 2006 19:49:53 +0200] rev 20002
varifyT: no longer pervasive;
Tue, 04 Jul 2006 19:49:52 +0200 added generalize/instantiate_option;
wenzelm [Tue, 04 Jul 2006 19:49:52 +0200] rev 20001
added generalize/instantiate_option;
Tue, 04 Jul 2006 19:49:51 +0200 added map_proof_terms_option;
wenzelm [Tue, 04 Jul 2006 19:49:51 +0200] rev 20000
added map_proof_terms_option; tuned generalize, instantiate;
Tue, 04 Jul 2006 19:49:50 +0200 added generalize;
wenzelm [Tue, 04 Jul 2006 19:49:50 +0200] rev 19999
added generalize; removed obsolete assume_ax, tvars_intr_list;
Tue, 04 Jul 2006 19:49:49 +0200 Thm.varifyT;
wenzelm [Tue, 04 Jul 2006 19:49:49 +0200] rev 19998
Thm.varifyT;
Tue, 04 Jul 2006 19:49:47 +0200 added ex/Guess.thy;
wenzelm [Tue, 04 Jul 2006 19:49:47 +0200] rev 19997
added ex/Guess.thy;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip