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

LocalTheory.restore;
2006-11-09, by wenzelm
init: '-' refers to global context;
2006-11-09, by wenzelm
abbrevs: return result;
2006-11-09, by wenzelm
Stack.map_top;
2006-11-09, by wenzelm
abbrevs: return result;
2006-11-09, by wenzelm
separate map_top/all;
2006-11-09, by wenzelm
abbrevs: return result (use LocalTheory.abbrevs directly);
2006-11-09, by wenzelm
tuned;
2006-11-09, by wenzelm
abbrevs: return result;
2006-11-09, by wenzelm
timing/tracing code removed
2006-11-09, by webertj
interpreters for fst and snd added
2006-11-09, by webertj
new CCS-based implementation that should work with PolyML 5.0
2006-11-09, by webertj
HOL: less/less_eq on bool, modified syntax;
2006-11-09, by wenzelm
removed obsolete locale_results;
2006-11-09, by wenzelm
tuned;
2006-11-09, by wenzelm
imports Binimial;
2006-11-09, by wenzelm
updated;
2006-11-09, by wenzelm
lfp_induct_set;
2006-11-09, by wenzelm
modified less/less_eq syntax to avoid "x < y < z" etc.;
2006-11-09, by wenzelm
added lemma mult_mono'
2006-11-09, by huffman
added LIM_norm and related lemmas
2006-11-09, by huffman
moved theories Parity, GCD, Binomial to Library;
2006-11-08, by wenzelm
added profiling code, improved handling of proof terms, generation of domain
2006-11-08, by krauss
incorporated former theories Reconstruction and ResAtpMethods into ATP_Linkup;
2006-11-08, by wenzelm
case_tr': proper handling of authentic consts;
2006-11-08, by wenzelm
removed obsolete nat_case_tr' (duplicates case_tr' in datatype_package.ML);
2006-11-08, by wenzelm
renamed DatatypeHooks.invoke to all
2006-11-08, by haftmann
moved lemma eq_neq_eq_imp_neq to HOL
2006-11-08, by haftmann

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

isabelle