isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

tuned;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
clarified signature: anticipate use in src/Provers/classical.ML;
3 weeks ago, by wenzelm
clarified signature;
3 weeks ago, by wenzelm
tuned source structure;
3 weeks ago, by wenzelm
efficient rule declarations in canonical order, for update of netpairs and print operation;
3 weeks ago, by wenzelm
added option `-S` to Mirabelle to specify the subgoal classes to consider
2 weeks ago, by desharna
moved to more appropriate theory
3 weeks ago, by haftmann
more correct lemma name
3 weeks ago, by haftmann
merged
3 weeks ago, by desharna
added basic support for persistent prover data to Sledgehammer
3 weeks ago, by desharna
merged
3 weeks ago, by wenzelm
tuned comments;
3 weeks ago, by wenzelm
tuned messages;
3 weeks ago, by wenzelm
clarified signature: more explicit type Bires.kind;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
tuned signature;
3 weeks ago, by wenzelm
proper weight, instead of magic number 1000000 (see b3f190995bc9);
3 weeks ago, by wenzelm
just one type Bires.netpair, based on Bires.tag with explicit weight;
3 weeks ago, by wenzelm
misc tuning and clarification;
3 weeks ago, by wenzelm
tuned signature: do not expose private operation;
3 weeks ago, by wenzelm
minor performance tuning;
3 weeks ago, by wenzelm
clarified modules;
3 weeks ago, by wenzelm
clarified signature;
3 weeks ago, by wenzelm
tuned signature: more explicit types;
3 weeks ago, by wenzelm
clarified modules: explicit structure Bires;
3 weeks ago, by wenzelm
minor performance tuning;
3 weeks ago, by wenzelm
Two lemmas and a comment
3 weeks ago, by paulson
removed duplicate lemma; added the notion of the kernel of a function
3 weeks ago, by nipkow
isabelle regenerate_cooper
4 weeks ago, by haftmann
NEWS;
4 weeks ago, by wenzelm
obsolete (see 09904d5ef1f0);
4 weeks ago, by wenzelm
inline errors as "bad" markup;
4 weeks ago, by wenzelm
more robust result of migrate_file: retain full src_path (in contrast to d5d0e36eda16);
4 weeks ago, by wenzelm
clarified signature: more explicit operations;
4 weeks ago, by wenzelm
more robust: avoid crash on session database errors;
4 weeks ago, by wenzelm
tuned signature: more operations;
4 weeks ago, by wenzelm
basic support to reload theory markup from session store;
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
clarified signature;
4 weeks ago, by wenzelm
eliminate odd workaround from Aug-2012 (see 393a37003851);
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
clarified signature;
4 weeks ago, by wenzelm
tuned signature;
4 weeks ago, by wenzelm
clarified signature: avoid Session with accidental Resources.bootstrap, which is mostly undefined;
4 weeks ago, by wenzelm
clarified signature: prefer private operation (see also 803731b62180);
4 weeks ago, by wenzelm
tuned (see also 5c7652e9bc01);
4 weeks ago, by wenzelm
tuned signature: more generic operations;
4 weeks ago, by wenzelm
clarified signature;
4 weeks ago, by wenzelm
clarified signature: omit pointless object-oriented indirection;
4 weeks ago, by wenzelm
clarified signature;
4 weeks ago, by wenzelm
tuned: avoid overlapping scopes;
4 weeks ago, by wenzelm
tuned;
4 weeks ago, by wenzelm
typo
4 weeks ago, by haftmann
append (rather than prepend) code equations: the order within a theory is maintained in the resulting code
4 weeks ago, by haftmann
scope pending code equations to theories
4 weeks ago, by haftmann
merged
4 weeks ago, by nipkow

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

isabelle