isabelle: Graph

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

generalize type of DERIV
2006-09-30, by huffman
add type annotations for DERIV
2006-09-30, by huffman
Combinator axioms are now from Isabelle theorems, no need to use helper files.
2006-09-30, by mengj
Added the combinator constants to the constants table.
2006-09-30, by mengj
Removed ResHolClause.LAM2COMB exception.
2006-09-30, by mengj
Reordered how files are loaded.
2006-09-30, by mengj
moved Matrix/cplex/MatrixLP.ML to Matrix/cplex/matrixlp.ML;
2006-09-29, by wenzelm
removed mixfix_content;
2006-09-29, by wenzelm
Syntax.mode;
2006-09-29, by wenzelm
Syntax.mode;
2006-09-29, by wenzelm
Sign.add_consts_authentic;
2006-09-29, by wenzelm
proper use of matrixlp.ML;
2006-09-29, by wenzelm
simplified is_package_def -- be less ambitious about B library operations;
2006-09-29, by wenzelm
obsolete;
2006-09-28, by wenzelm
added share_data;
2006-09-28, by wenzelm
Sign.add_consts_authentic;
2006-09-28, by wenzelm
consts: syntax consts only for actual syntax;
2006-09-28, by wenzelm
added share_data (dummy);
2006-09-28, by wenzelm
removed obsolete HOLCF.ML;
2006-09-28, by wenzelm
ResAtpset.get_atpset;
2006-09-28, by wenzelm
removed legacy code;
2006-09-28, by wenzelm
tuned definitions/proofs;
2006-09-28, by wenzelm
proper use of float.ML;
2006-09-28, by wenzelm
fixed translations: CONST;
2006-09-28, by wenzelm
replaced syntax/translations by abbreviation;
2006-09-28, by wenzelm
replaced syntax/translations by abbreviation;
2006-09-28, by wenzelm
removed obsolete Real/document/root.tex;
2006-09-28, by wenzelm
tuned;
2006-09-28, by wenzelm
rearranged axioms and simp rules for scaleR
2006-09-28, by huffman
added Poly/ML 4.9.1 (experimental!);
2006-09-28, by wenzelm
rearranged axioms and simp rules for scaleR
2006-09-28, by huffman
clearout of obsolete code
2006-09-28, by paulson
addition of combinators
2006-09-28, by paulson
tuned messages;
2006-09-28, by wenzelm
tuned;
2006-09-28, by wenzelm
LD_LIBRARY_PATH;
2006-09-28, by wenzelm
Definitions produced by packages are now blacklisted.
2006-09-28, by paulson
more reorganizing sections
2006-09-28, by huffman
reorganize sections
2006-09-28, by huffman
add intro/dest rules for NSLIM; rewrite equivalence proofs using transfer
2006-09-28, by huffman
add lemma hypreal_epsilon_gt_zero
2006-09-28, by huffman
generalize type of is(NS)UCont
2006-09-28, by huffman
add intro/dest rules for (NS)LIMSEQ and (NS)Cauchy; rewrite equivalence proofs using transfer
2006-09-28, by huffman
proper use of PolyML.shareCommonData;
2006-09-28, by wenzelm
add lemmas InfinitesimalI2, InfinitesimalD2
2006-09-27, by huffman
adapted to pre-5.0 versions;
2006-09-27, by wenzelm
Poly/ML startup script (for 4.9.1);
2006-09-27, by wenzelm
added ML-Systems/polyml-4.9.1.ML;
2006-09-27, by wenzelm
Compatibility wrapper for Poly/ML 4.9.1.
2006-09-27, by wenzelm
removed all references to star_n and FreeUltrafilterNat
2006-09-27, by huffman
add lemmas about hnorm, Infinitesimal
2006-09-27, by huffman
reverted to 1.58;
2006-09-27, by wenzelm
proper const_syntax for uminus, abs;
2006-09-27, by wenzelm
reorganized HNatInfinite proofs; simplified and renamed some lemmas
2006-09-27, by huffman
removed obsolete of_instream_slurp -- now already included in tty;
2006-09-27, by wenzelm
Source.tty now slurps by default;
2006-09-27, by wenzelm
of_stream/tty: slurp input eagerly;
2006-09-27, by wenzelm
tuned all_paths;
2006-09-27, by wenzelm
internal params: Vartab instead of AList;
2006-09-27, by wenzelm
removed unused serial_of, name_of;
2006-09-27, by wenzelm

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

isabelle