Demand more in FutureAnalysisCarrier
[darcs-mirror-isa-launchbury.git] / Launchbury / FTreeCardinality.thy
2014-12-19 Joachim BreitnerDemand more in FutureAnalysisCarrier
2014-12-19 Joachim BreitnerMore lemmas moved
2014-12-19 Joachim BreitnerLots of cleanup
2014-12-11 Joachim BreitnerLarge unsorted commit. Special casing for linear recurs...
2014-12-03 Joachim BreitnerAdd join_comm, join_assoc to simpset. Hopefully helpful...
2014-12-01 Joachim BreitnerAdjust CardinalityEtaExpand and FTreeCardinatly to...
2014-11-26 Joachim BreitnerSchadensbegrenzung. substitute mit extra "thunks" Parameter
2014-11-26 Joachim BreitnerTowards Let, but stuck: stubstitute needs to cater...
2014-11-21 Joachim BreitnerCleanup
2014-11-21 Joachim BreitnerFactor out AnalBinds
2014-11-21 Joachim BreitnerDisjointness lemmas in FTreeCardinality
2014-11-20 Joachim BreitnerContinuity of substitute, both
2014-11-20 Joachim BreitnerReorder lemmas in FTree
2014-11-18 Joachim BreitnerHuge proofs for ftree_restr_both and ftree_rest_substitute
2014-11-17 Joachim BreitnerPlan for CardinalityPrognosisCorrectLet
2014-11-17 Joachim BreitnerCardinalityPrognosisCorrect fertig
2014-11-14 Joachim BreitnerMore progress on variables rules in various variants
2014-11-14 Joachim BreitnerFrom ftree to cardinality