nominal2: File revisions

Nominal/ROOT.ML

Wed, 12 May 2010 16:59:53 +0100	Christian Urban	fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy	file \| diff \| annotate
Sun, 09 May 2010 12:38:59 +0100	Christian Urban	tuned file names for examples	file \| diff \| annotate
Tue, 04 May 2010 17:25:58 +0200	Cezary Kaliszyk	"isabelle make" compiles all examples with newparser/newfv/newalpha only.	file \| diff \| annotate
Tue, 20 Apr 2010 18:24:50 +0200	Christian Urban	renamed Ex1.thy to SingleLet.thy	file \| diff \| annotate
Fri, 09 Apr 2010 11:08:05 +0200	Christian Urban	renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper	file \| diff \| annotate
Thu, 08 Apr 2010 13:04:49 +0200	Christian Urban	tuned type-schemes example	file \| diff \| annotate
Sun, 04 Apr 2010 21:39:28 +0200	Christian Urban	separated general nominal theory into separate folder	file \| diff \| annotate
Sat, 03 Apr 2010 22:31:11 +0200	Christian Urban	added README and moved examples into separate directory	file \| diff \| annotate

nominal2