nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 07 Jul 2011 16:16:42 +0200] rev 2957

code refactoring; introduced a record for raw_dt_info

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jul 2011 23:11:30 +0200] rev 2956

more on the NBE function

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jul 2011 01:04:09 +0200] rev 2954

a little further with NBE

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 06 Jul 2011 07:42:12 +0900] rev 2953

Setup eqvt_at for first goal

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jul 2011 00:34:42 +0200] rev 2952

attempt for NBE

Christian Urban <urbanc@in.tum.de> [Tue, 05 Jul 2011 23:47:20 +0200] rev 2951

added some relatively simple examples from paper by Norrish

Christian Urban <urbanc@in.tum.de> [Tue, 05 Jul 2011 18:42:34 +0200] rev 2950

changed bind to binds in specifications; bind will cause trouble with Monad_Syntax

Christian Urban <urbanc@in.tum.de> [Tue, 05 Jul 2011 18:01:54 +0200] rev 2949

side commment for future use

Christian Urban <urbanc@in.tum.de> [Tue, 05 Jul 2011 16:22:18 +0200] rev 2948

made the tests go through again

nominal2