Nominal/Ex/ExCoreHaskell.thy
2010-04-14 Christian Urban temporary fix for CoreHaskell
2010-04-09 Christian Urban changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac
2010-04-03 Christian Urban added README and moved examples into separate directory
less more (0) tip