nominal2: File revisions

IsaMakefile

Tue, 06 Apr 2010 07:36:15 +0200	Christian Urban	typos in paper	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 21:53:04 +0200	Christian Urban	merged pearl paper with this repository; started litrature subdirectory	file \| diff \| annotate
Wed, 17 Mar 2010 20:42:22 +0100	Christian Urban	paper uses now a heap file - does not compile so long anymore	file \| diff \| annotate
Wed, 17 Mar 2010 15:13:31 +0100	Christian Urban	made paper to compile	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
Sun, 20 Dec 2009 00:14:46 +0100	Christian Urban	with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place	file \| diff \| annotate
Wed, 16 Dec 2009 14:28:48 +0100	Christian Urban	complete fix for IsaMakefile	file \| diff \| annotate

nominal2