funcCF.git
2010-11-22 Joachim BreitnerVortrag zur SA master Vortrag_Studienarbeit
2010-11-16 Joachim BreitnerPrepare AFP entry AFPSubmission
2010-11-16 Joachim BreitnerPrepare AFP entry
2010-11-16 Joachim BreitnerRename hackage package HackageUpload0.1
2010-11-16 Joachim BreitnerPrepare Haskell Code for upload
2010-11-15 Joachim BreitnerCover, OT1 encoding Abgabe_Studienarbeit
2010-11-15 Joachim BreitnerLetzte Typo-Runde
2010-11-13 Joachim Breitnercontour nodes depend on conditionals
2010-11-13 Joachim BreitnerPfeile umdrehen
2010-11-12 Joachim BreitnerConclusion
2010-11-12 Joachim BreitnerConclusion
2010-11-12 Joachim BreitnerCFG-instanz-Beispiel
2010-11-12 Joachim BreitnerCFG-instanz-Beispiel
2010-11-12 Joachim BreitnerCFG-instanz-Beispiel
2010-11-10 Joachim BreitnerVds removal
2010-11-10 Joachim BreitnerAndreas Typosuche
2010-11-08 Joachim BreitnerNo need to mess with font@warning
2010-11-08 Joachim BreitnerErste Fehlerkorrekturrunde meinerseits
2010-11-08 Joachim BreitnerSatzspiegelspielereien
2010-11-03 Joachim BreitnerMehr zu 1CFA und 0CFA
2010-11-02 Joachim BreitnerBeispielanalyse
2010-10-29 Joachim BreitnerFurther writing, new chapter about slicing
2010-10-28 Joachim BreitnerImprove session graph
2010-10-28 Joachim BreitnerEval does not CPSUtils
2010-10-26 Joachim BreitnerWeiter geschrieben
2010-10-25 Joachim BreitnerProtoype of a small step semantics
2010-10-22 Joachim BreitnerWeitergeschrieben, Isabelle-Kapitel fast fertig
2010-10-19 Joachim BreitnerText zum Isabelle-Teil angefangen
2010-10-19 Joachim BreitnerSession dependency graphs
2010-10-18 Joachim BreitnerRemove unicode from Haskell comment
2010-10-18 Joachim BreitnerBegin to write the Studienarbeit
2010-10-15 Joachim BreitnerAlternative proof of finiteness
2010-10-13 Joachim BreitnerWeiter Zeug aufgeschrieben (alle verwendeten Theorien...
2010-10-12 Joachim BreitnerWeiter Zeug aufgeschrieben
2010-10-12 Joachim BreitnerWeiter Zeug aufgeschrieben
2010-10-08 Joachim BreitnerAngefangen Zeug aufzuschreiben
2010-10-07 Joachim BreitnerSome cleanup
2010-10-07 Joachim BreitnerFiniteness for inductive set works for non-recursive...
2010-10-06 Joachim BreitnerTrying to derive finiteness for inductive set (no more...
2010-10-06 Joachim BreitnerTrying to derive finiteness for inductive set
2010-10-06 Joachim BreitnerTrying to derive finiteness for inductive set
2010-10-06 Joachim BreitnerFix transforming theory
2010-10-06 Joachim BreitnerTrying to derive finiteness for inductive set
2010-10-05 Joachim BreitnerShow that occuring arguments are finite
2010-10-05 Joachim BreitnerShow that argument space is finite
2010-09-29 Joachim BreitnerProve R/g decomposition for evalCPS
2010-09-29 Joachim BreitnerProve R/g decomposition
2010-09-29 Joachim BreitnerFixpoint transformation (removing discr, giving up)
2010-09-24 Joachim BreitnerShow Shivers’ computability results
2010-09-23 Joachim BreitnerFix LaTeX
2010-09-23 Joachim BreitnerRemove Un_mono_sq
2010-09-23 Joachim BreitnerRemove unneeded HOLCF classes
2010-09-23 Joachim BreitnerFinish to introduce custom approx relation
2010-09-23 Joachim BreitnerStart to introduce custom approx relation
2010-09-23 Joachim BreitnerMove correctness proof into own theory
2010-09-23 Joachim BreitnerRemove HOLCF prefix from theory names
2010-09-23 Joachim BreitnerUse nice names in HOLCFExSV
2010-09-23 Joachim BreitnerDisambiguate all names
2010-09-22 Joachim BreitnerSeveral syntax beautifications
2010-09-22 Joachim BreitnerNice Syntax in SetMap
2010-09-22 Joachim BreitnerIntroduce custom symbols
2010-09-22 Joachim BreitnerIgnore dist/
2010-09-22 Joachim BreitnerOverload abs using Adhoc_Overloading
2010-09-22 Joachim BreitnerCopy Adhoc_Overloading from Isabelle-devel
2010-09-22 Joachim BreitnerMake LaTeX preparation work
2010-09-22 Joachim BreitnerUse nice |_| syntax for abs_*, but very slow
2010-09-17 Joachim BreitnerLemma 7 was already proven...
2010-09-17 Joachim BreitnerFinish Proof of lemma89 and of lemma6
2010-09-17 Joachim BreitnerFinish App case
2010-09-17 Joachim BreitnerUse option::discrete_cpo, work on App case
2010-09-16 Joachim BreitnerShow IF cases
2010-09-16 Joachim BreitnerMove Un_mono_sq to HOLCFUtils.thy
2010-09-16 Joachim BreitnerProof of Plus case
2010-09-16 Joachim BreitnerAdd isProc conditions to evalF
2010-09-16 Joachim BreitnerMove SetMap lemmas in own theory
2010-09-16 Joachim BreitnerMinor cleanup
2010-09-16 Joachim BreitnerProve continuity of abs_ccache
2010-09-16 Joachim BreitnerFinish first case of lemma8+9
2010-09-15 Joachim BreitnerWork on first case of lemma8+9
2010-09-15 Joachim BreitnerList_Cpo by Brian Huffmann
2010-09-15 Joachim BreitnerPrepare proof structure of main proof
2010-09-15 Joachim BreitnerRedo custom case rule, no split necessary any more
2010-09-14 Joachim BreitnerPrepare main proof
2010-09-14 Joachim BreitnerProve lemma7 of Shivers
2010-09-14 Joachim BreitnerIntroduce functions for set-valued maps
2010-09-14 Joachim BreitnerGet abstract venv right
2010-09-14 Joachim BreitnerAbstraction functions
2010-09-14 Joachim BreitnerEvalCPS in HOLCFAbsCF definiert
2010-09-14 Joachim BreitnerEvalF and EvalC in HOLCFAbsCF definiert
2010-09-14 Joachim BreitnerContinuity of Union
2010-09-14 Joachim BreitnerAnfänge von HOLCFAbsCF
2010-09-13 Joachim BreitnerFix proof single_valued evalCPS
2010-09-13 Joachim BreitnerSpeed up with auto after cases
2010-09-13 Joachim BreitnerMove Single-Valued-Proof in own file
2010-09-13 Joachim BreitnerCombined induction statements (100 LOC less!)
2010-09-13 Joachim BreitnerAdd less_imp_le to intro, do not name explicitly everywhere
2010-09-13 Joachim BreitnerReplace contour by abstract type, introduce nb
2010-09-10 Joachim BreitnerUse named ruls in induction
2010-09-10 Joachim BreitnerWende fstate_case an (2. Fall)
2010-09-10 Joachim BreitnerUndo single induction rule try
next