Index of /paper/witness/witness-jfp/04-Language

	Name	Last modified	Size	Description
	Parent Directory		-
	Core.tex	2011-01-11 01:25	4.0K
	DynamicObjects.tex	2010-07-02 04:51	566
	EvalNatural.tex	2011-02-11 00:49	4.0K
	EvalOperational.tex	2011-02-11 00:49	3.2K
	EvalWitness.tex	2011-01-21 04:12	1.2K
	KindsOfTypes.tex	2011-01-10 08:17	2.7K
	KindsOfWitnesses.tex	2011-01-21 03:11	861
	PureEffects.tex	2011-01-21 04:12	540
	SubsOfEffects.tex	2011-02-11 00:49	422
	SupersOfKinds.tex	2010-07-07 08:27	833
	TypesOfAlternatives.tex	2011-01-05 09:29	768
	TypesOfTerms.tex	2011-02-11 00:49	4.2K
	cuts.tex	2011-02-11 00:42	4.7K