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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

tuned output;
2015-09-23, by wenzelm
tuned output;
2015-09-23, by wenzelm
tuned signature;
2015-09-22, by wenzelm
eliminated separate type Theory.dep: use typeargs uniformly for consts/types;
2015-09-22, by wenzelm
tuned signature;
2015-09-22, by wenzelm
tuned output;
2015-09-22, by wenzelm
separate command 'print_definitions';
2015-09-22, by wenzelm
tuned;
2015-09-22, by wenzelm
clarified deps entry: global names for arguments;
2015-09-22, by wenzelm
renamed Defs.node to Defs.item;
2015-09-22, by wenzelm
tuned signature;
2015-09-22, by wenzelm
tuned whitespace;
2015-09-22, by wenzelm
HOL typedef with explicit dependency checks according to Ondrey Kuncar, 07-Jul-2015, 16-Jul-2015, 30-Jul-2015;
2015-09-22, by wenzelm
prove Liminf_inverse_ereal
2015-09-25, by hoelzl
merged
2015-09-24, by immler
exchange uniform limit and integral
2015-09-24, by immler
congruence rules for the relator
2015-09-24, by traytel
conceal only the definitional theorems of map, set, rel (and not the actual constants)
2015-09-24, by traytel
more useful properties of the relators
2015-09-24, by traytel
tuned proofs (less warnings)
2015-09-24, by traytel
Useful facts about min/max, etc.
2015-09-23, by paulson
Merge
2015-09-23, by paulson
fixed a VERY SLOW proof
2015-09-23, by paulson
SOME rather than THE makes it easy to prove equivalence with other forms of derivatives
2015-09-22, by paulson
New lemmas
2015-09-22, by paulson
Prepared two non-terminating proofs; no obvious link with my changes
2015-09-22, by paulson
added AVL and lookup function
2015-09-23, by nipkow
tuned
2015-09-23, by nipkow
merged
2015-09-22, by nipkow
unified isin-proofs
2015-09-22, by nipkow

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

isabelle