Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
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.
Syntax.mode;
20060929, by wenzelm
Sign.add_consts_authentic;
20060929, by wenzelm
proper use of matrixlp.ML;
20060929, by wenzelm
simplified is_package_def  be less ambitious about B library operations;
20060929, by wenzelm
obsolete;
20060928, by wenzelm
added share_data;
20060928, by wenzelm
Sign.add_consts_authentic;
20060928, by wenzelm
consts: syntax consts only for actual syntax;
20060928, by wenzelm
added share_data (dummy);
20060928, by wenzelm
removed obsolete HOLCF.ML;
20060928, by wenzelm
ResAtpset.get_atpset;
20060928, by wenzelm
removed legacy code;
20060928, by wenzelm
tuned definitions/proofs;
20060928, by wenzelm
proper use of float.ML;
20060928, by wenzelm
fixed translations: CONST;
20060928, by wenzelm
replaced syntax/translations by abbreviation;
20060928, by wenzelm
replaced syntax/translations by abbreviation;
20060928, by wenzelm
removed obsolete Real/document/root.tex;
20060928, by wenzelm
tuned;
20060928, by wenzelm
rearranged axioms and simp rules for scaleR
20060928, by huffman
added Poly/ML 4.9.1 (experimental!);
20060928, by wenzelm
rearranged axioms and simp rules for scaleR
20060928, by huffman
clearout of obsolete code
20060928, by paulson
addition of combinators
20060928, by paulson
tuned messages;
20060928, by wenzelm
tuned;
20060928, by wenzelm
LD_LIBRARY_PATH;
20060928, by wenzelm
Definitions produced by packages are now blacklisted.
20060928, by paulson
more reorganizing sections
20060928, by huffman
reorganize sections
20060928, by huffman
add intro/dest rules for NSLIM; rewrite equivalence proofs using transfer
20060928, by huffman
add lemma hypreal_epsilon_gt_zero
20060928, by huffman
generalize type of is(NS)UCont
20060928, by huffman
add intro/dest rules for (NS)LIMSEQ and (NS)Cauchy; rewrite equivalence proofs using transfer
20060928, by huffman
proper use of PolyML.shareCommonData;
20060928, by wenzelm
add lemmas InfinitesimalI2, InfinitesimalD2
20060927, by huffman
adapted to pre5.0 versions;
20060927, by wenzelm
Poly/ML startup script (for 4.9.1);
20060927, by wenzelm
added MLSystems/polyml4.9.1.ML;
20060927, by wenzelm
Compatibility wrapper for Poly/ML 4.9.1.
20060927, by wenzelm
removed all references to star_n and FreeUltrafilterNat
20060927, by huffman
add lemmas about hnorm, Infinitesimal
20060927, by huffman
reverted to 1.58;
20060927, by wenzelm
proper const_syntax for uminus, abs;
20060927, by wenzelm
reorganized HNatInfinite proofs; simplified and renamed some lemmas
20060927, by huffman
removed obsolete of_instream_slurp  now already included in tty;
20060927, by wenzelm
Source.tty now slurps by default;
20060927, by wenzelm
of_stream/tty: slurp input eagerly;
20060927, by wenzelm
tuned all_paths;
20060927, by wenzelm
internal params: Vartab instead of AList;
20060927, by wenzelm
removed unused serial_of, name_of;
20060927, by wenzelm
removed redundant lemmas;
20060927, by wenzelm
remove redundant lemmas
20060927, by huffman
replaced constant 0 by HOL.zero
20060927, by haftmann
hypreal_of_nat abbreviates of_nat
20060927, by huffman
add lemmas of_real_eq_star_of, Reals_eq_Standard
20060927, by huffman
move star_of_norm from SEQ.thy to NSA.thy
20060927, by huffman
convert more proofs to transfer principle
20060927, by huffman
add lemmas about Standard, real_of, scaleR
20060927, by huffman
instance complex :: real_normed_field; cleaned up
20060927, by huffman
less
more

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