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

avoid adding unnecessary quantified lemmas when embedding natural number terms into integer terms: quantified lemmas can cause Z3 to produce complex proofs that are hard to replay in Isabelle
2018-04-11, by boehmes
merged
2018-04-09, by paulson
A couple of new results
2018-04-09, by paulson
Syntax for the special cases Min(A`I) and Max (A`I)
2018-04-09, by paulson
removed dots at the end of (sub)titles
2018-04-09, by nipkow
moved and renamed lemmas
2018-04-08, by nipkow
Added binary set operations with join-based implementation
2018-04-08, by nipkow
more name tuning
2018-04-08, by nipkow
better name; added binary operations
2018-04-08, by nipkow
tuned
2018-04-07, by nipkow
a first shot at tagging for HOL-Analysis manual
2018-04-06, by immler
even more on bit operations
2018-04-05, by haftmann
more bit operation conversions
2018-04-04, by haftmann
more rules for numeral conversions;
2018-04-03, by haftmann
tuned proofs and generalized some lemmas about limits
2018-03-28, by huffman

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

isabelle