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 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

renamed Variable.invent_fixes to Variable.variant_fixes;
2006-09-30, by wenzelm
generalize proofs of DERIV_isCont and DERIV_mult
2006-09-30, by huffman
generalized some DERIV proofs
2006-09-30, by huffman
add scaleR lemmas
2006-09-30, by huffman
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

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

isabelle