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.
Sat, 17 Jun 2006 19:37:49 +0200 added generalize rule;
changeset
wenzelm [Sat, 17 Jun 2006 19:37:49 +0200] rev 19908
added generalize rule;
Sat, 17 Jun 2006 19:37:48 +0200 Term.skolem;
changeset
wenzelm [Sat, 17 Jun 2006 19:37:48 +0200] rev 19907
Term.skolem;
Sat, 17 Jun 2006 19:37:47 +0200 Term.internal;
changeset
wenzelm [Sat, 17 Jun 2006 19:37:47 +0200] rev 19906
Term.internal;
Sat, 17 Jun 2006 19:37:46 +0200 ProofContext.export: singleton;
changeset
wenzelm [Sat, 17 Jun 2006 19:37:46 +0200] rev 19905
ProofContext.export: singleton;
Sat, 17 Jun 2006 19:37:45 +0200 RuleCases.mutual_rule: ctxt;
changeset
wenzelm [Sat, 17 Jun 2006 19:37:45 +0200] rev 19904
RuleCases.mutual_rule: ctxt; ProofContext.exports: simultaneous facts;
Sat, 17 Jun 2006 19:37:43 +0200 RuleCases.mutual_rule: ctxt;
changeset
wenzelm [Sat, 17 Jun 2006 19:37:43 +0200] rev 19903
RuleCases.mutual_rule: ctxt; Term.internal; ProofContext.exports: simultaneous facts;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle