Unused import
[darcs-mirror-isa-launchbury.git] / Launchbury / AbstractTransform.thy
2015-01-14 Joachim BreitnerUnused import
2014-11-06 Joachim BreitnerClean out FutureEtaExpand
2014-11-04 Joachim BreitnerMore stuff in FutureEtaExpand
2014-10-31 Joachim BreitnerProgress towards a correctness proof based on futures
2014-10-24 Joachim BreitnerBeginnings of CallArityEtaExpand.thy
2014-10-24 Joachim BreitnerSlightly more general AbstractTransform
2014-10-16 Joachim BreitnerMove subst_transform to AbstractTransform
2014-10-14 Joachim BreitnerRe-implement arity-based eta-expansion using AbstractTr...
2014-10-08 Joachim BreitnerTowards more abstract transformation code