nominal2: File revisions

Nominal/Ex/ExCoreHaskell.thy

Wed, 05 May 2010 10:24:54 +0100	Christian Urban	solved the problem with equivariance by first eta-normalising the goal	file \| diff \| annotate
Tue, 04 May 2010 14:13:18 +0200	Cezary Kaliszyk	moved CoreHaskell to NewParser.	file \| diff \| annotate
Tue, 27 Apr 2010 14:29:59 +0200	Cezary Kaliszyk	Function in Core Haskell	file \| diff \| annotate
Sun, 18 Apr 2010 10:58:29 +0200	Christian Urban	equivariance for alpha_raw in CoreHaskell is automatically derived	file \| diff \| annotate
Sun, 18 Apr 2010 09:26:38 +0200	Christian Urban	preliminary parser for perm_simp metod	file \| diff \| annotate
Wed, 14 Apr 2010 22:41:22 +0200	Christian Urban	temporary fix for CoreHaskell	file \| diff \| annotate
Fri, 09 Apr 2010 21:51:01 +0200	Christian Urban	changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac	file \| diff \| annotate
Sat, 03 Apr 2010 22:31:11 +0200	Christian Urban	added README and moved examples into separate directory	file \| diff \| annotate \| base

nominal2