Remove some dead code
[darcs-mirror-isa-launchbury.git] / Launchbury / EtaExpansionSestoft.thy
2015-01-27 Joachim BreitnerRemove some dead code
2015-01-16 Joachim BreitnerPrepare CardinalityEtaExpand for a stack with expressions
2015-01-15 Joachim BreitnerUse isVal everywhere
2014-12-19 Joachim BreitnerMore lemmas moved
2014-10-16 Joachim BreitnerMove Sestoft-Related eta-expansion away