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
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
transferred code generator preprocessor into separate module
20090512, by haftmann
marginally tuned
20090512, by haftmann
examples using code_pred
20090512, by haftmann
added dummy values keyword
20090512, by haftmann
tuned exception code
20090512, by haftmann
A generic arithmetic prover based on Positivstellensatz certificates  also implements FourrierMotzkin elimination as a special case FourrierMotzkin elimination
20090512, by chaieb
A decision method for universal multivariate real arithmetic with add
20090512, by chaieb
Isolated decision procedure for noms and the general arithmetic solver
20090512, by chaieb
Added files Sum_Of_Squares.thy, positivstellensatz.ML and sum_of_squares.ML to Library
20090512, by chaieb
merged
20090511, by huffman
use Pair/fst/snd instead of cpair/cfst/csnd
20090511, by huffman
use Pair/fst/snd instead of cpair/cfst/csnd
20090511, by huffman
move bifinite instance for product type from Cprod.thy to Bifinite.thy
20090511, by huffman
new lemmas
20090511, by huffman
fixed merge accident
20090511, by haftmann
less
more

(0)
30000
10000
3000
1000
300
100
15
+15
+100
+300
+1000
+3000
+10000
+30000
tip