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

removed pointless leftovers default tip
10 hours ago, by nipkow
more minus_list lemmas (incl code via fold instead of foldr)
12 hours ago, by nipkow
make canonical homomorphism [simp]
23 hours ago, by nipkow
the canonical homomorphism should be [simp]
27 hours ago, by nipkow
merged
30 hours ago, by nipkow
added minus functions on lists
31 hours ago, by nipkow
more robust GUI setup via Java, instead of shell script;
32 hours ago, by wenzelm
merged
2 days ago, by wenzelm
clarified modules;
2 days ago, by wenzelm
avoid legacy infixes;
2 days ago, by wenzelm
discontinue old infixes;
2 days ago, by wenzelm
eliminated transitional lemma
2 days ago, by haftmann
tuned whitespace
2 days ago, by haftmann
reorganized more code-only operations
2 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
8 days ago, by paulson
prefer already existing operation to calculate minimum
9 days ago, by haftmann
some more lemmas
10 days ago, by haftmann
tuned syntax
10 days ago, by haftmann
latex error
10 days ago, by nipkow
HOL: minor additions regarding linear algebra
11 days ago, by Manuel Eberl
HOL-Combinatorics: more lemmas about permutations
11 days ago, by Manuel Eberl
merged
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
obsolete (see 22d65e375c01);
13 days ago, by wenzelm
more generic parsing of command spans;
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
support for Thy_Info.get_theories_segments, depending on system option "record_theories";
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm

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

isabelle