isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

merged
2010-09-20, by blanchet
remove needless exception
2010-09-20, by blanchet
preprocess "Ex" before doing clausification in Metis;
2010-09-20, by blanchet
expand_fun_eq -> fun_eq_iff
2010-09-20, by haftmann
use buffers instead of string concatenation
2010-09-20, by haftmann
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-09-20, by wenzelm
more antiquotations;
2010-09-20, by wenzelm
added XML.content_of convenience -- cover XML.body, which is the general situation;
2010-09-20, by wenzelm
merged
2010-09-20, by wenzelm
merged
2010-09-20, by haftmann
more accurate exception handling
2010-09-20, by haftmann
merged
2010-09-20, by blanchet
merge tracing of two related modules
2010-09-20, by blanchet
merged
2010-09-20, by blanchet
preprocess "All" before doing clausification in Metis;
2010-09-18, by blanchet
reorder proof methods and take out "best";
2010-09-17, by blanchet
renaming variable name to decrease likelyhood of nameclash
2010-09-20, by bulwahn
code_pred_intro can be used to name facts for the code_pred command
2010-09-20, by bulwahn
replacing temporary hack by checking for environment settings of the component
2010-09-20, by bulwahn
removing unnessary options for code_pred
2010-09-20, by bulwahn
moving renaming_vars to post_processing; removing clone in values and quickcheck of code_prolog
2010-09-20, by bulwahn
removing clone in code_prolog and predicate_compile_quickcheck
2010-09-20, by bulwahn
adjusted
2010-09-20, by haftmann
updated file duplicate
2010-09-20, by haftmann

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

isabelle