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
+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.
Corrected error in Convex_Euclidean_Space
20090528, by himmelma
Added Convex_Euclidean_Space to Library.thy and Library/IsaMakefile
20090528, by himmelma
merged
20090528, by himmelma
Added Convex_Euclidean_Space.thy
20090528, by himmelma
Changed prioriy of vector_scalar_mult
20090528, by himmelma
addition formulas for fps_sin, fps_cos
20090528, by huffman
use class field_char_0 for fps definitions
20090528, by huffman
merged
20090527, by huffman
add constants sin_coeff, cos_coeff
20090527, by huffman
merged
20090527, by wenzelm
tuned signature of add_primrec_simple
20090527, by haftmann
added lemma select_weight_cons_zero
20090527, by haftmann
added lemma beyond_zero; hide constants
20090527, by haftmann
added lemma about 0  1
20090527, by haftmann
merged
20090527, by wenzelm
more lemmas
20090527, by nipkow
merged
20090527, by haftmann
add_primrec_simple
20090526, by haftmann
dropped superfluos prefixes
20090526, by haftmann
separate module for quickcheck generators
20090526, by haftmann
encode gaugefine partitions with lists instead of functions; remove lots of unnecessary lemmas
20090526, by huffman
listsum lemmas
20090526, by huffman
clean up some rsum proofs
20090526, by huffman
weakend references to old axclass
20090526, by haftmann
clarified benefit of interpretation
20090526, by haftmann
documented print_codeproc command
20090526, by haftmann
use interval sets with gauge predicate
20090525, by huffman
clean up some proofs
20090525, by huffman
tuned whitespace
20090524, by haftmann
funpow_yield; tuned
20090524, by haftmann
tuned class user space type system code
20090524, by haftmann
dropped Id
20090524, by haftmann
refined construction_interpretation
20090524, by haftmann
exported find_shorzes_path
20090524, by haftmann
merged
20090524, by haftmann
fixed superficial ML lapses introduced in b3c7044d47b6;
20090527, by wenzelm
simplified method syntax;
20090525, by wenzelm
modernized method setup;
20090525, by wenzelm
modernized method setup;
20090525, by wenzelm
proper signature constraints;
20090525, by wenzelm
adapted to Poly/ML SVN 744;
20090525, by wenzelm
removed some obsolete combinators for method args;
20090523, by wenzelm
proper indentation;
20090523, by wenzelm
proper signature constraint;
20090523, by wenzelm
adapted to Poly/ML SVN 719;
20090523, by wenzelm
getenv_strict needs to be based on getenv (accidentally broken in 0e88d33e8d19);
20090523, by wenzelm
merged
20090522, by huffman
define copy functions using combinators; add checking for failed proofs of induction rules
20090522, by huffman
export ID, oo; add more dtyp operations
20090522, by huffman
add combinators for building copy functions
20090522, by huffman
change representation of Domain_Library.arg
20090521, by huffman
make type Domain_Library.arg abstract
20090521, by huffman
indentation; export Domain_Axioms.calc_axioms
20090520, by huffman
indentation; export Domain_Syntax.calc_syntax
20090520, by huffman
using precompiled Predicate.map
20090521, by haftmann
merged
20090521, by haftmann
readded corrected version of type copy quickcheck generator
20090521, by haftmann
added Predicate.map in SML environment
20090521, by haftmann
merged
20090521, by webertj
implementation of definitional CNF improved
20090521, by webertj
less
more

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