Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 04 Jul 2006 19:49:51 +0200 added map_proof_terms_option;
changeset
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;
changeset
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;
changeset
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;
changeset
wenzelm [Tue, 04 Jul 2006 19:49:47 +0200] rev 19997
added ex/Guess.thy;
Tue, 04 Jul 2006 18:39:59 +0200 skip_proofs: do not skip proofs of schematic goals (warning);
changeset
wenzelm [Tue, 04 Jul 2006 18:39:59 +0200] rev 19996
skip_proofs: do not skip proofs of schematic goals (warning);
Tue, 04 Jul 2006 18:39:58 +0200 added schematic_goal;
changeset
wenzelm [Tue, 04 Jul 2006 18:39:58 +0200] rev 19995
added schematic_goal;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle