nominal2: File revisions

isar-keywords-prove.el

Fri, 11 Dec 2009 11:08:58 +0100	Cezary Kaliszyk	New syntax for definitions.	file \| diff \| annotate
Wed, 09 Dec 2009 15:57:47 +0100	Cezary Kaliszyk	Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants.	file \| diff \| annotate
Thu, 29 Oct 2009 08:06:49 +0100	Cezary Kaliszyk	Fixed wrong CARD definition and removed the "Does not work anymore" comment.	file \| diff \| annotate
Wed, 28 Oct 2009 16:05:59 +0100	Cezary Kaliszyk	Fixes	file \| diff \| annotate
Tue, 27 Oct 2009 11:27:53 +0100	Christian Urban	made quotients compatiple with Nominal; updated keyword file	file \| diff \| annotate
Mon, 26 Oct 2009 02:06:01 +0100	Christian Urban	updated with quotient_def	file \| diff \| annotate
Sun, 25 Oct 2009 01:31:04 +0200	Christian Urban	added "print_quotients" command to th ekeyword file	file \| diff \| annotate
Mon, 12 Oct 2009 22:44:16 +0200	Christian Urban	added new keyword	file \| diff \| annotate
Tue, 25 Aug 2009 00:30:23 +0200	Christian Urban	added the prove command	file \| diff \| annotate

nominal2