isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

switched to open locales for classes
2006-06-20, by haftmann
refrain from reforming TFL -- back to previous revision;
2006-06-19, by wenzelm
added declare_thm, thm_context;
2006-06-19, by wenzelm
eliminated freeze/varify in favour of Variable.import/export/trade;
2006-06-19, by wenzelm
world map updated
2006-06-19, by webertj
world map updated
2006-06-19, by webertj
Fixed name clash.
2006-06-19, by krauss
world map updated
2006-06-19, by webertj
matchers: try pattern_matchers only *after* general matching (The
2006-06-19, by wenzelm
ProofContext.exports: simultaneous facts;
2006-06-17, by wenzelm
moved internal/skolem to term.ML;
2006-06-17, by wenzelm
mutual_rule: proper context;
2006-06-17, by wenzelm
export: simultaneous facts, refer to Variable.export;
2006-06-17, by wenzelm
ProofContext.exports: simultaneous facts;
2006-06-17, by wenzelm
Variable.importT_inst;
2006-06-17, by wenzelm
standard: simultaneous facts;
2006-06-17, by wenzelm
added singleton;
2006-06-17, by wenzelm
major reworking of export functionality -- based on Term/Thm.generalize;
2006-06-17, by wenzelm
added generalize rule;
2006-06-17, by wenzelm
added exists_subtype;
2006-06-17, by wenzelm
added generalize rule;
2006-06-17, by wenzelm
Term.skolem;
2006-06-17, by wenzelm
Term.internal;
2006-06-17, by wenzelm
ProofContext.export: singleton;
2006-06-17, by wenzelm
RuleCases.mutual_rule: ctxt;
2006-06-17, by wenzelm
RuleCases.mutual_rule: ctxt;
2006-06-17, by wenzelm
added interface for making term contexts.
2006-06-17, by dixon
fixed symlink bug
2006-06-16, by haftmann
ProofContext: moved variable operations to struct Variable;
2006-06-15, by wenzelm
Fixed type/term variables and polymorphic term abbreviations.
2006-06-15, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle