nominal2: File revisions

Nominal/ROOT.ML

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
Fri, 26 Mar 2010 16:20:39 +0100	Cezary Kaliszyk	Removed remaining cheats + some cleaning.	file \| diff \| annotate
Wed, 24 Mar 2010 12:53:39 +0100	Christian Urban	some tuning; possible fix for strange paper generation	file \| diff \| annotate
Tue, 23 Mar 2010 09:34:32 +0100	Cezary Kaliszyk	More modification needed for compilation	file \| diff \| annotate
Wed, 17 Mar 2010 17:10:19 +0100	Christian Urban	temporarily disabled tests in Nominal/ROOT	file \| diff \| annotate
Thu, 25 Feb 2010 14:14:08 +0100	Cezary Kaliszyk	Split Terms into separate files and add them to tests.	file \| diff \| annotate
Thu, 25 Feb 2010 08:40:52 +0100	Christian Urban	added IsaMakefile...but so far included only a test for the parser	file \| diff \| annotate

nominal2