nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 21:21:23 +0100] rev 607

babs_prs

Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 18:49:14 +0100] rev 606

clarified the function examples

Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 17:57:33 +0100] rev 605

first attempt to deal with Babs in regularise and cleaning (not yet working)

Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 15:21:51 +0100] rev 604

isabelle make tests all examples

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 15:18:44 +0100] rev 603

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 15:18:00 +0100] rev 602

make_inst for lambda_prs where the second quotient is not identity.

Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 14:37:10 +0100] rev 601

added "end" to each example theory

nominal2