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 -60 +60 +100 +300 +1000 +3000 tip

more correct indicator
22 months ago, by haftmann
make latex happy
22 months ago, by haftmann
moved some theorems into HOL main corpus
22 months ago, by haftmann
misc tuning and modernization
22 months ago, by haftmann
more theorems for proof of concept for word type
22 months ago, by haftmann
official fact collection sign_simps
22 months ago, by haftmann
tuned proofs
22 months ago, by haftmann
avoid pseudo-collection to be used in generated proofs
22 months ago, by haftmann
moved comment to approproiate place
22 months ago, by haftmann
removed outcommented example which seems not to work as advertized
22 months ago, by haftmann
clear separation of types for bits (False / True) and Z2 (0 / 1)
22 months ago, by haftmann
generalized type classes for parity to cover word types also, which contain zero divisors
22 months ago, by haftmann
slightly more specialized name for type class
22 months ago, by haftmann
dropped weaker legacy alias
22 months ago, by haftmann
slightly more stringent ordering of theorems
22 months ago, by haftmann
removed relics of ASCII syntax for indexed big operators
22 months ago, by haftmann
dropped former legacy input abbreviations
22 months ago, by haftmann
using (*)-syntax for partially applied infix is fine, contrary to ancient op-syntax
22 months ago, by haftmann
prefer fixed simpset for proof procedure
22 months ago, by haftmann
tuned file system structure
22 months ago, by haftmann
avoid spammed sledgehammer proofs
22 months ago, by haftmann
added lemmas
22 months ago, by nipkow
proper URL;
22 months ago, by wenzelm
merged;
22 months ago, by wenzelm
Added tag Isabelle2019 for changeset 83774d669b51
22 months ago, by wenzelm
handle timeouts gracefully in 'smt' proof method (patch due to Mathias Fleury)
22 months ago, by blanchet
tuned;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
backout 34bc296374ee -- affects the raw_induct rule, e.g. relevant for AFP/Imperative_Insertion_Sort;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
tuned messages;
22 months ago, by wenzelm
proper context;
22 months ago, by wenzelm
misc tuning and clarification, notably wrt. flow of context;
22 months ago, by wenzelm
proper context;
22 months ago, by wenzelm
proper Proof_Context.export_morphism corresponding to Proof_Context.augment (see 7f568724d67e);
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
misc tuning and clarification, notably wrt. flow of context;
22 months ago, by wenzelm
proper context;
22 months ago, by wenzelm
proper Proof_Context.export_morphism corresponding to Proof_Context.augment (see 7f568724d67e);
22 months ago, by wenzelm
more structural integrity;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
more structural integrity;
22 months ago, by wenzelm
clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned whitespace;
22 months ago, by wenzelm
clarified context: prefer abstract Variable.auto_fixes;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
redundant: default is false;
22 months ago, by wenzelm
tuned imports -- accommodate scala-2.13.0-RC3;
22 months ago, by wenzelm
tuned -- accommodate scala-2.13.0-RC3;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
Added tag Isabelle2019-RC4 for changeset ad2d84c42380 Isabelle2019
22 months ago, by wenzelm
hint on printing via Web browser;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned proof
22 months ago, by nipkow
tuned
22 months ago, by nipkow
merged
22 months ago, by wenzelm
more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
22 months ago, by wenzelm

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

isabelle