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
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
clarified terminilogy concerning nbe equations
2009-05-11, by haftmann
simplified unoverload/overload policy in code generator preprocessor
2009-05-11, by haftmann
Change to lowercase path names as directed by local pagemasters
2009-05-11, by paulson
merged
2009-05-10, by nipkow
fixed HOLCF proofs
2009-05-10, by nipkow
merged
2009-05-09, by haftmann
interface changes in linarith.ML
2009-05-09, by haftmann
merged
2009-05-09, by nipkow
lemmas by Andreas Lochbihler
2009-05-09, by nipkow
merged
2009-05-08, by nipkow
merged
2009-05-08, by nipkow
more lemmas
2009-05-08, by nipkow
rename constant sq_le to below; rename class sq_ord to below; less->below in many lemma names
2009-05-08, by huffman
fixed theorem statement
2009-05-08, by chaieb
merged
2009-05-08, by chaieb
Generalized distributivity theorems of radicals over multiplication, division and inverses
2009-05-08, by chaieb
proper structure name
2009-05-08, by haftmann
localized (complete) partial order classes
2009-05-08, by haftmann
dropped legacy ml theorem binding
2009-05-08, by haftmann
modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs
2009-05-08, by haftmann
modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs
2009-05-08, by haftmann
generalized simproc for mod
2009-05-08, by haftmann
explicit method linarith
2009-05-08, by haftmann
moved int_factor_simprocs.ML to theory Int
2009-05-08, by haftmann
treat frees driectly by the LCF kernel
2009-05-07, by haftmann
dropped explicit suppport for frees in evaluation conversion stack
2009-05-07, by haftmann
no need for explicit delete declaration
2009-05-07, by haftmann
better to have distinguished class for preorders
2009-05-07, by haftmann
added theory for explicit equivalence relation in preorders
2009-05-07, by haftmann
explicit type_name antiquotations
2009-05-07, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip