nominal2: File revisions

Nominal/Ex/Test.thy

Thu, 20 May 2010 21:23:53 +0100	Christian Urban	new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files	file \| diff \| annotate
Wed, 19 May 2010 12:43:38 +0100	Christian Urban	added comments about pottiers work	file \| diff \| annotate
Mon, 17 May 2010 12:00:54 +0100	Christian Urban	somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms	file \| diff \| annotate
Tue, 11 May 2010 14:58:46 +0100	Christian Urban	a bit for the introduction of the q-paper	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, 04 May 2010 14:21:18 +0200	Cezary Kaliszyk	Separate Term8, as it may work soon.	file \| diff \| annotate
Thu, 08 Apr 2010 13:04:49 +0200	Christian Urban	tuned type-schemes example	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