nominal2: File revisions

Nominal/Fv.thy

Tue, 23 Mar 2010 11:42:06 +0100	Cezary Kaliszyk	Modification to Core Haskell to make it accepted with an empty binding function.	file \| diff \| annotate
Mon, 22 Mar 2010 18:29:29 +0100	Cezary Kaliszyk	equivp_cheat can be removed for all one-permutation examples.	file \| diff \| annotate
Sat, 20 Mar 2010 08:56:07 +0100	Cezary Kaliszyk	Build alpha-->alphabn implications	file \| diff \| annotate
Sat, 20 Mar 2010 08:04:59 +0100	Cezary Kaliszyk	Prove reflp for all relations.	file \| diff \| annotate
Fri, 19 Mar 2010 18:42:57 +0100	Cezary Kaliszyk	Automatically derive support for datatypes with at-most one binding per constructor.	file \| diff \| annotate
Fri, 19 Mar 2010 14:54:30 +0100	Cezary Kaliszyk	Use fs typeclass in showing finite support + some cheat cleaning.	file \| diff \| annotate
Fri, 19 Mar 2010 08:31:43 +0100	Cezary Kaliszyk	The nominal infrastructure for fset. 'fs' missing, but not needed so far.	file \| diff \| annotate
Thu, 18 Mar 2010 15:32:49 +0100	Cezary Kaliszyk	Continued description of alpha.	file \| diff \| annotate

nominal2