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 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip

tuned signature;
10 months ago, by wenzelm
tuned: prefer if_proper expression;
10 months ago, by wenzelm
New material by Wenda Li and Manuel Eberl
10 months ago, by paulson
merged
10 months ago, by traytel
export BNF properties about the cardinal bound (by Jan van Brügge)
10 months ago, by traytel
unused (see 123f2c0995b8);
10 months ago, by wenzelm

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

isabelle