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

merged
2009-07-26, by wenzelm
adapted to changed prefixes
2009-07-26, by haftmann
merged
2009-07-26, by haftmann
improved handling of parameter import; tuned
2009-07-25, by haftmann
explicit is better than implicit
2009-07-25, by haftmann
localized interpretation of min/max-lattice
2009-07-25, by haftmann
adapted to localized interpretation of min/max-lattice
2009-07-25, by haftmann
SUBPROOF/Obtain.result: named params;
2009-07-26, by wenzelm
updated Variable.focus, SUBPROOF, Obtain.result, Goal.finish;
2009-07-26, by wenzelm
advanced retrofit, which allows new subgoals and variables;
2009-07-26, by wenzelm
Variable.focus: named parameters;
2009-07-26, by wenzelm
lambda/cabs/all: named variants;
2009-07-26, by wenzelm
Goal.finish: explicit context for printing;
2009-07-26, by wenzelm
fixed Method.Basic;
2009-07-25, by wenzelm
eliminated obsolete/obscure Seq.wrap, Position.setmp_thread_data_seq;
2009-07-25, by wenzelm
Method.Basic: no position;
2009-07-25, by wenzelm
basic method application: avoid Position.setmp_thread_data_seq, which destroys transaction context;
2009-07-25, by wenzelm
dequeue_towards: need to try imm_preds as well;
2009-07-25, by wenzelm
internal session timing;
2009-07-25, by wenzelm
enqueue: maintain transitive closure, which simplifies dequeue_towards;
2009-07-25, by wenzelm
ML_Context.the_generic_context;
2009-07-25, by wenzelm
eliminated redundant Library.multiply;
2009-07-25, by wenzelm
renamed structure Display_Goal to Goal_Display;
2009-07-25, by wenzelm
tuned tracing;
2009-07-25, by wenzelm
added Multithreading.real_time;
2009-07-25, by wenzelm
simplified/unified Multithreading.tracing_time;
2009-07-25, by wenzelm
get_name: cover only PThm, not PAxm;
2009-07-24, by wenzelm
eliminated OldGoals.read_term;
2009-07-24, by wenzelm
more antiquotations instead of adhoc ML stuff;
2009-07-24, by wenzelm
ML_Context.the_local_context;
2009-07-24, by wenzelm
eliminated the_context;
2009-07-24, by wenzelm
do not open OldGoals;
2009-07-24, by wenzelm
renamed functor SplitterFun to Splitter, require explicit theory;
2009-07-24, by wenzelm
renamed functor BlastFun to Blast, require explicit theory;
2009-07-24, by wenzelm
eliminated OldGoals.prove_goal;
2009-07-24, by wenzelm
explicit OldGoals;
2009-07-24, by wenzelm
structure OldGoals: no pervasive names;
2009-07-24, by wenzelm
renamed functor ProjectRuleFun to Project_Rule;
2009-07-24, by wenzelm
renamed functor InductFun to Induct;
2009-07-24, by wenzelm
tuned;
2009-07-24, by wenzelm
renamed Pure/tctical.ML to Pure/tactical.ML;
2009-07-24, by wenzelm
eliminated print_goals_without_context -- proper pretty printing;
2009-07-24, by wenzelm
Display_Goal.pretty_goals: always Markup.subgoal, clarified options;
2009-07-24, by wenzelm
removed Formal_Power_Series_Examples (cf. adea7a729c7a);
2009-07-24, by wenzelm
make: keep going by default;
2009-07-24, by wenzelm
merged
2009-07-23, by chaieb
merged
2009-07-23, by chaieb
fixed proof --- fact_setprod removed for fact_altdef_nat
2009-07-23, by chaieb
merged
2009-07-23, by chaieb
Vandermonde vs Pochhammer; Hypergeometric series - very basic facts
2009-07-23, by chaieb
More theorems about pochhammer
2009-07-23, by chaieb
Moved theorem binomial_symmetric from Formal_Power_Series to here
2009-07-15, by chaieb
Moved important theorems from FPS_Examples to FPS --- they are not
2009-07-15, by chaieb
removed obsolete ML proof tools;
2009-07-23, by wenzelm
more @{theory} antiquotations;
2009-07-23, by wenzelm
eliminated adhoc ML code;
2009-07-23, by wenzelm
misc modernization: proper method setup instead of adhoc ML proofs;
2009-07-23, by wenzelm
global_claset_of;
2009-07-23, by wenzelm
Proper context for simpset_of, claset_of, clasimpset_of.
2009-07-23, by wenzelm
local simpset_of;
2009-07-23, by wenzelm

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

isabelle