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 tip

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

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

isabelle