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

added lemmas
2019-06-11, by nipkow
proper URL;
2019-06-09, by wenzelm
merged;
2019-06-09, by wenzelm
Added tag Isabelle2019 for changeset 83774d669b51
2019-06-09, by wenzelm
handle timeouts gracefully in 'smt' proof method (patch due to Mathias Fleury)
2019-06-07, by blanchet
tuned;
2019-06-04, by wenzelm
tuned;
2019-06-04, by wenzelm
backout 34bc296374ee -- affects the raw_induct rule, e.g. relevant for AFP/Imperative_Insertion_Sort;
2019-06-04, by wenzelm
unused;
2019-06-04, by wenzelm
tuned messages;
2019-06-04, by wenzelm
proper context;
2019-06-04, by wenzelm
misc tuning and clarification, notably wrt. flow of context;
2019-06-04, by wenzelm
proper context;
2019-06-04, by wenzelm
proper Proof_Context.export_morphism corresponding to Proof_Context.augment (see 7f568724d67e);
2019-06-04, by wenzelm
unused;
2019-06-04, by wenzelm
misc tuning and clarification, notably wrt. flow of context;
2019-06-04, by wenzelm
proper context;
2019-06-04, by wenzelm
proper Proof_Context.export_morphism corresponding to Proof_Context.augment (see 7f568724d67e);
2019-06-04, by wenzelm
more structural integrity;
2019-06-03, by wenzelm
tuned;
2019-06-03, by wenzelm
more structural integrity;
2019-06-03, by wenzelm
clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
2019-06-03, by wenzelm
tuned;
2019-06-03, by wenzelm
clarified signature;
2019-06-03, by wenzelm
tuned whitespace;
2019-06-03, by wenzelm
clarified context: prefer abstract Variable.auto_fixes;
2019-06-03, by wenzelm
tuned;
2019-06-03, by wenzelm
tuned signature;
2019-06-03, by wenzelm
redundant: default is false;
2019-06-03, by wenzelm
tuned imports -- accommodate scala-2.13.0-RC3;
2019-06-01, by wenzelm

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

isabelle