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 +30 +50 +100 +300 +1000 +3000 +10000 tip

cleaning
2019-12-06, by nipkow
tuned
2019-12-06, by nipkow
separated Affine theory from Convex
2019-12-05, by nipkow
merged
2019-12-05, by nipkow
tuned
2019-12-05, by nipkow
proper table data structure
2019-12-05, by haftmann
removed some vain declarations
2019-12-05, by haftmann
merged
2019-12-05, by nipkow
made Starlike independent of Abstract_Limits
2019-12-05, by nipkow
more direct accessors for simpset
2019-12-05, by haftmann
regular merge with no historization, in accordance with regular update
2019-12-04, by haftmann
moved starlike where it belongs
2019-12-04, by nipkow
merged
2019-12-04, by wenzelm
clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many small messages stacking up, e.g. when loading HOL-Analysis.Analysis.thy into Isabelle/jEdit;
2019-12-04, by wenzelm
moved segment lemmas where they belong
2019-12-04, by nipkow
merged
2019-12-04, by nipkow
moved lemmas
2019-12-04, by nipkow
merged
2019-12-04, by paulson
two new theorems
2019-12-04, by paulson
moved lemma
2019-12-04, by nipkow
made internal name generation in case expressions more robust
2019-12-03, by traytel
merged
2019-12-03, by wenzelm
clarified export of consts: recursion is accessible via spec_rules;
2019-12-03, by wenzelm
more operations;
2019-12-03, by wenzelm
Removed orphaned theory from HOL-Analysis
2019-12-03, by Manuel Eberl
merged
2019-12-03, by wenzelm
clarified position for spec rule: like entity;
2019-12-03, by wenzelm
clarified name: avoid clashes;
2019-12-02, by wenzelm
proper dynamic position of application context, e.g. relevant for 'global_interpretation';
2019-12-02, by wenzelm
proper treatment of variable names;
2019-12-02, by wenzelm

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

isabelle