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 -24 +24 +50 +100 +300 tip

tuned whitespace
3 months ago, by haftmann
reorganized more code-only operations
3 months ago, by haftmann
more qualified auxiliary operations
3 months ago, by haftmann
Sylvestre's correction to ex_least_nat_le and other tidying
3 months ago, by paulson
New lemmas for floor/ceiling/round, plus tidying
3 months ago, by paulson
prefer already existing operation to calculate minimum
3 months ago, by haftmann
some more lemmas
3 months ago, by haftmann
tuned syntax
3 months ago, by haftmann
latex error
3 months ago, by nipkow
HOL: minor additions regarding linear algebra
3 months ago, by Manuel Eberl
HOL-Combinatorics: more lemmas about permutations
3 months ago, by Manuel Eberl
merged
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
obsolete (see 22d65e375c01);
3 months ago, by wenzelm
more generic parsing of command spans;
4 months ago, by wenzelm
tuned;
4 months ago, by wenzelm
support for Thy_Info.get_theories_segments, depending on system option "record_theories";
4 months ago, by wenzelm
tuned;
4 months ago, by wenzelm
another default code_unfold rule
4 months ago, by haftmann
generic executable ranges
4 months ago, by haftmann
clarified signature;
4 months ago, by wenzelm
explicit abort for big lattice operations over non-empty sets
4 months ago, by haftmann
prefer explicit operation to make generated code more abstract
4 months ago, by haftmann
tuned theory structure
4 months ago, by haftmann

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

isabelle