Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 24 Jun 2004 17:52:55 +0200 ringpower to recpower
changeset
paulson [Thu, 24 Jun 2004 17:52:55 +0200] rev 15004
ringpower to recpower
Thu, 24 Jun 2004 17:52:02 +0200 replaced monomorphic abs definitions by abs_if
changeset
paulson [Thu, 24 Jun 2004 17:52:02 +0200] rev 15003
replaced monomorphic abs definitions by abs_if
Thu, 24 Jun 2004 17:51:28 +0200 tidied
changeset
paulson [Thu, 24 Jun 2004 17:51:28 +0200] rev 15002
tidied
Wed, 23 Jun 2004 14:44:22 +0200 Moved conversion rules from MetaSimplifier to Drule. refl_implies removed
changeset
skalberg [Wed, 23 Jun 2004 14:44:22 +0200] rev 15001
Moved conversion rules from MetaSimplifier to Drule. refl_implies removed from Drule, instead imp_cong' exported from there.
Wed, 23 Jun 2004 09:09:18 +0200 tuned;
changeset
wenzelm [Wed, 23 Jun 2004 09:09:18 +0200] rev 15000
tuned;
Tue, 22 Jun 2004 14:14:08 +0200 faster conversion into DIMACS CNF and DIMACS SAT format
changeset
webertj [Tue, 22 Jun 2004 14:14:08 +0200] rev 14999
faster conversion into DIMACS CNF and DIMACS SAT format
Tue, 22 Jun 2004 10:05:47 +0200 tuned;
changeset
wenzelm [Tue, 22 Jun 2004 10:05:47 +0200] rev 14998
tuned;
Tue, 22 Jun 2004 09:52:15 +0200 tuned;
changeset
wenzelm [Tue, 22 Jun 2004 09:52:15 +0200] rev 14997
tuned;
Tue, 22 Jun 2004 09:52:08 +0200 improved print_theory;
changeset
wenzelm [Tue, 22 Jun 2004 09:52:08 +0200] rev 14996
improved print_theory;
Tue, 22 Jun 2004 09:51:59 +0200 added output, removed pp_undef;
changeset
wenzelm [Tue, 22 Jun 2004 09:51:59 +0200] rev 14995
added output, removed pp_undef;
Tue, 22 Jun 2004 09:51:51 +0200 added chars_only, symbol_output;
changeset
wenzelm [Tue, 22 Jun 2004 09:51:51 +0200] rev 14994
added chars_only, symbol_output;
Tue, 22 Jun 2004 09:51:39 +0200 tuned certify_typ/term;
changeset
wenzelm [Tue, 22 Jun 2004 09:51:39 +0200] rev 14993
tuned certify_typ/term;
Tue, 22 Jun 2004 09:51:23 +0200 tuned output;
changeset
wenzelm [Tue, 22 Jun 2004 09:51:23 +0200] rev 14992
tuned output;
Mon, 21 Jun 2004 16:49:58 +0200 added unparse;
changeset
wenzelm [Mon, 21 Jun 2004 16:49:58 +0200] rev 14991
added unparse;
Mon, 21 Jun 2004 16:41:06 +0200 pretty_abbr;
changeset
wenzelm [Mon, 21 Jun 2004 16:41:06 +0200] rev 14990
pretty_abbr;
(0) -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle