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 -28 tip

provide "isabelle caddy_setup" and "isabelle caddy";
7 days ago, by wenzelm
update to current go-1.24.3;
8 days ago, by wenzelm
tuned;
8 days ago, by wenzelm
clarified signature and modules;
8 days ago, by wenzelm
tuned comments;
9 days ago, by wenzelm
clarified signature;
9 days ago, by wenzelm
prefer official precise attribute
8 days ago, by haftmann
Kleene's fixpoint thm
8 days ago, by nipkow
merged
8 days ago, by nipkow
Kleene for lfp
8 days ago, by nipkow
A new lemma
8 days ago, by paulson
merged
10 days ago, by paulson
A few more useful lemmas (about topology)
10 days ago, by paulson
more theorems
10 days ago, by haftmann
merged
10 days ago, by paulson
two more lemmas from the AFP
10 days ago, by paulson
new lemma
10 days ago, by haftmann
consolidate input syntax
11 days ago, by haftmann
More type class things
11 days ago, by paulson
executable sorted_list_of_multiset
13 days ago, by haftmann
Tweaking the ordered semiring type classes
13 days ago, by paulson
merged
2 weeks ago, by paulson
New type classes unboundedx_dense_order, ordered_semiring_1, ordered_semiring_strict and related material from Complex_Bounded_Operators
2 weeks ago, by paulson
merged
2 weeks ago, by wenzelm
more robust output: no markup as last resort;
2 weeks ago, by wenzelm
clarified signature: more scalable output --- avoid adhoc string concatenations after Pretty.string_of;
2 weeks ago, by wenzelm
clarified signature: more scalable output;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm

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

isabelle